diff options
| -rw-r--r-- | src/algebra/Makefile.in | 6 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 6 |
2 files changed, 4 insertions, 8 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 59b98af8..c8f691fc 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -207,7 +207,6 @@ axiom_algebra_bootstrap = \ VECTOR axiom_algebra_bootstrap_last_layer = \ - BOOLEAN \ DFLOAT \ DIVRING DIVRING- \ EUCDOM EUCDOM- FFIELDC \ @@ -391,6 +390,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 \ @@ -398,7 +398,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- @@ -1267,5 +1267,3 @@ distclean-local: clean-local include extract-spad.mk -.NOTPARALLEL: - 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} |