diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 6 |
1 files changed, 2 insertions, 4 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: - |