diff options
author | dos-reis <gdr@axiomatics.org> | 2010-10-27 15:14:30 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-10-27 15:14:30 +0000 |
commit | 977f775f6a923edd1eb52b7b1c3a3d963e62049d (patch) | |
tree | 2cbe0bbadc6910d347864f6eec26aec25fd5f7f4 /src/algebra/Makefile.pamphlet | |
parent | fcf66dc98318f5ced7ba150f04aef50b69d8cd48 (diff) | |
download | open-axiom-977f775f6a923edd1eb52b7b1c3a3d963e62049d.tar.gz |
* algebra/boolean.spad.pamphlet (BooleanLogic) [~]: Add defaut.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r-- | src/algebra/Makefile.pamphlet | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 7c77b8de..93881bc6 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -261,6 +261,7 @@ $(OUT)/PATMAB.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/REAL.$(FASLEXT): $(OUT)/KONVERT.$(FASLEXT) $(OUT)/LOGIC.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/BOOLE.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) $(OUT)/SGROUP-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) @@ -328,7 +329,8 @@ axiom_algebra_layer_0 = \ LIST DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- DIFFMOD \ LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ RTVALUE SYSPTR PDDOM PDDOM- PDSPC PDSPC- \ - DSEXT DSEXT- ORDTYPE ORDTYPE- ORDSTRCT + DSEXT DSEXT- ORDTYPE ORDTYPE- ORDSTRCT \ + BOOLE BOOLE- axiom_algebra_layer_0_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_0)) @@ -353,7 +355,6 @@ $(OUT)/IEVALAB.$(FASLEXT) $(OUT)/IEVALAB-.$(FASLEXT): \ $(OUT)/EVALAB.$(FASLEXT) $(OUT)/EVALAB-.$(FASLEXT): \ $(OUT)/IEVALAB.$(FASLEXT) -$(OUT)/BOOLE.$(FASLEXT): $(OUT)/LOGIC.$(FASLEXT) $(OUT)/PROPLOG.$(FASLEXT): $(OUT)/BOOLE.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/MAYBE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) @@ -403,9 +404,9 @@ axiom_algebra_layer_1 = \ GCDDOM GCDDOM- UFD UFD- ES ES- \ PATAB PPCURVE PSCURVE CACHSET RESLATC REF \ IDENT BINDING ALIST BOOLEAN PRIMARR \ - ORDRING ORDRING- FEVALAB FEVALAB- \ + ORDRING ORDRING- FEVALAB FEVALAB- IARRAY1 \ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ - FIELD FIELD- VECTCAT VECTCAT- IARRAY1 BOOLE \ + FIELD FIELD- VECTCAT VECTCAT- \ PROPERTY ARITY OPERCAT OPERCAT- PAIR STREAM \ RADCAT RADCAT- PDMOD DMEXT LZSTAGG LZSTAGG- |