diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-24 16:30:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-24 16:30:44 +0000 |
commit | 4f11d3a9059c2f3c30cb106ff6db938b5524f2d5 (patch) | |
tree | f80a4797edd17cb73cc1cb2ef960f391a275f315 /src/algebra/Makefile.pamphlet | |
parent | 67f37d74670b259da00b58bf8d81986bc1a47444 (diff) | |
download | open-axiom-4f11d3a9059c2f3c30cb106ff6db938b5524f2d5.tar.gz |
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r-- | src/algebra/Makefile.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index ee0867c5..489406b4 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -156,7 +156,6 @@ axiom_algebra_bootstrap = \ VECTOR axiom_algebra_bootstrap_last_layer = \ - BOOLEAN \ DFLOAT \ DIVRING DIVRING- \ EUCDOM EUCDOM- FFIELDC \ @@ -350,6 +349,7 @@ $(OUT)/ES.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT) \ $(OUT)/CACHSET.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(FASLEXT) $(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/BOOLEAN.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) axiom_algebra_layer_1 = \ ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \ @@ -357,7 +357,7 @@ axiom_algebra_layer_1 = \ DIFRING DIFRING- ENTIRER INTDOM INTDOM- OINTDOM \ GCDDOM GCDDOM- UFD UFD- ES ES- \ PATAB PPCURVE PSCURVE CACHSET RESLATC REF \ - IDENT SEGCAT BINDING ALIST \ + IDENT SEGCAT BINDING ALIST BOOLEAN \ ORDRING ORDRING- FEVALAB FEVALAB- \ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ FIELD FIELD- @@ -1879,8 +1879,6 @@ distclean-local: clean-local include extract-spad.mk -.NOTPARALLEL: - @ \eject \begin{thebibliography}{99} |