aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/Makefile.in')
-rw-r--r--src/algebra/Makefile.in6
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:
-