diff options
author | dos-reis <gdr@axiomatics.org> | 2008-01-17 14:27:29 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-01-17 14:27:29 +0000 |
commit | 15dcc4936996a27019112ff58e9202a81d792047 (patch) | |
tree | 1e49da404b12b46c30989feac07e26f87f4810ba /src/algebra/Makefile.pamphlet | |
parent | f5ba07e55ec584939b62a3887c2ff7ebf8083759 (diff) | |
download | open-axiom-15dcc4936996a27019112ff58e9202a81d792047.tar.gz |
Fix SF/1849734
* interp/i-spec1.boot (upand): Don't insist on having operands of
type Boolean.
(upor): Likewise.
* algebra/mkrecord.spad.pamphlet (Pair): New domain constructor.
* algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic,
PropositionalFormula.
* algebra/boolean.spad.pamphlet (PropositionalFormula): New domain
constructor.
* algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include
PAIR.o.
(axiom_algebra_layer_19): Include PROPFRML.o
* share/algebra: Update databases.
* testsuite/interpreter/1849734.input: New.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r-- | src/algebra/Makefile.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 70a3f05c..2e8dc2be 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -233,7 +233,7 @@ axiom_algebra_layer_1 = \ PATAB.o PLOT1.o PPCURVE.o PSCURVE.o \ REAL.o RESLATC.o RETRACT.o RETRACT-.o \ SEGBIND2.o SEGCAT.o STREAM1.o STREAM2.o \ - STREAM3.o + STREAM3.o axiom_algebra_layer_1_nrlibs = \ $(axiom_algebra_layer_1:.$(OBJEXT)=.NRLIB/code.$(OBJEXT)) @@ -308,7 +308,7 @@ axiom_algebra_layer_4 = \ REPDB.o RFDIST.o RIDIST.o RMODULE.o \ SEXCAT.o SGROUP.o SGROUP-.o SPACEC.o \ SPLNODE.o STEP.o SUCH.o TEX1.o \ - UDVO.o YSTREAM.o + UDVO.o YSTREAM.o PAIR.o axiom_algebra_layer_4_nrlibs = \ $(axiom_algebra_layer_4:.$(OBJEXT)=.NRLIB/code.$(OBJEXT)) @@ -339,7 +339,7 @@ axiom_algebra_layer_5 = \ ODVAR.o OPQUERY.o ORDFIN.o ORDMON.o \ PATMATCH.o PERMCAT.o PDRING.o PDRING-.o \ SDVAR.o SUP2.o TRIGCAT.o TRIGCAT-.o \ - ULS2.o UP2.o + ULS2.o UP2.o axiom_algebra_layer_5_nrlibs = \ $(axiom_algebra_layer_5:.$(OBJEXT)=.NRLIB/code.$(OBJEXT)) @@ -997,7 +997,7 @@ axiom_algebra_layer_19 = \ SET.o SPECOUT.o SQMATRIX.o SWITCH.o \ SYMS.o SYMTAB.o SYSSOLP.o UTSCAT.o \ UTSCAT-.o VARIABLE.o WFFINTBS.o SPADPRSR.o \ - PARSER.o + PARSER.o PROPFRML.o axiom_algebra_layer_19_nrlibs = \ $(axiom_algebra_layer_19:.$(OBJEXT)=.NRLIB/code.$(OBJEXT)) |