diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-16 01:55:18 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-16 01:55:18 +0000 |
commit | 1f494025090f73be6f638bea1827e352df9921db (patch) | |
tree | 4a990f63b7b33779e3bd0c8d501a67d12175f516 /src/algebra/Makefile.pamphlet | |
parent | ee573325df58dbcc33596630d2710ad2cd37a77d (diff) | |
download | open-axiom-1f494025090f73be6f638bea1827e352df9921db.tar.gz |
* algebra/any.spad.pamphlet: Tidy. Redeuce Lisp usage.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r-- | src/algebra/Makefile.pamphlet | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 2d4d39d6..4c37d9cc 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -280,7 +280,7 @@ axiom_algebra_layer_0 = \ RETRACT RETRACT- SETCAT SETCAT- \ MSYSCMD FINITE OM OMCONN OMDEV OUT \ PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \ - BMODULE PROPERTY BASTYPE BASTYPE- STEP LMODULE \ + BMODULE BASTYPE BASTYPE- STEP LMODULE \ RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \ ABELSG- ORDSET ORDSET- OASGP FILECAT SEXCAT \ MODULE MODULE- PID OAGROUP OCAMON OAMON \ @@ -355,6 +355,8 @@ $(OUT)/BOOLEAN.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) $(OUT)/ES.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT) $(OUT)/VECTCAT.$(FASLEXT): $(OUT)/RADCAT.$(FASLEXT) $(OUT)/IARRAY1.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT) +$(OUT)/PROPERTY.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) +$(OUT)/BINDING.$(FASLEXT): $(OUT)/PROPERTY.$(FASLEXT) axiom_algebra_layer_1 = \ ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \ @@ -365,7 +367,8 @@ axiom_algebra_layer_1 = \ IDENT SEGCAT BINDING ALIST BOOLEAN PRIMARR \ ORDRING ORDRING- FEVALAB FEVALAB- \ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ - FIELD FIELD- VECTCAT VECTCAT- IARRAY1 + FIELD FIELD- VECTCAT VECTCAT- IARRAY1 \ + PROPERTY axiom_algebra_layer_1_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) @@ -417,6 +420,10 @@ axiom_algebra_layer_3_objects = \ \subsubsection{Completed spad files} <<layer4>>= + +$(OUT)/ENV.$(FASLEXT): $(OUT)/SCOPE.$(FASLEXT) + + axiom_algebra_layer_4 = \ ANON COMM COMPPROP ESCONT1 EXIT \ FAMONC FORMULA1 IDPC NONE NUMINT \ |