From 4f11d3a9059c2f3c30cb106ff6db938b5524f2d5 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 24 Apr 2009 16:30:44 +0000 Subject: --- src/algebra/Makefile.in | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'src/algebra/Makefile.in') 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: - -- cgit v1.2.3