diff options
author | dos-reis <gdr@axiomatics.org> | 2010-03-12 21:18:58 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-03-12 21:18:58 +0000 |
commit | 6de2fad4dd5cad34f04eb7ccdb516df131ff0349 (patch) | |
tree | 3a85d68a4988e087fb45fefe1092384dcc8fb88f /src/algebra/Makefile.pamphlet | |
parent | 6844898e025e87c3d6753d648a65fe4a82b8bc55 (diff) | |
download | open-axiom-6de2fad4dd5cad34f04eb7ccdb516df131ff0349.tar.gz |
* algebra/syntax.spad.pamphlet (InternalRepresentationForm): New.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r-- | src/algebra/Makefile.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 7c4f46fd..5833260b 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -1018,7 +1018,7 @@ axiom_algebra_layer_user = \ ASP73 ASP27 ASP28 ASP33 ASP49 ASP7 \ ASP78 ASP9 ASP12 ASP55 ASP8 ASP19 \ ASP20 ASP30 ASP31 ASP35 ASP41 ASP42 \ - ASP74 ASP77 ASP80 ASP29 + ASP74 ASP77 ASP80 ASP29 IRFORM axiom_algebra_layer_user_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user)) @@ -1092,6 +1092,8 @@ $(OUT)/INETCLTS.$(FASLEXT): $(OUT)/NETCLT.$(FASLEXT) $(OUT)/ASP34.$(FASLEXT): $(OUT)/FMC.$(FASLEXT) +$(OUT)/IRFORM.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) + @ \section{Broken Files} |