aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.in
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-06-29 07:15:08 +0000
committerdos-reis <gdr@axiomatics.org>2010-06-29 07:15:08 +0000
commitab71577ecf6a2523916d2e7fa1510d3153f758d6 (patch)
treed0211f55d29b3efa862bb476efe5116f22484c26 /src/algebra/Makefile.in
parent77a6173c9fe922e29a8a4df966a204cf14cc9267 (diff)
downloadopen-axiom-ab71577ecf6a2523916d2e7fa1510d3153f758d6.tar.gz
Update databases
Diffstat (limited to 'src/algebra/Makefile.in')
-rw-r--r--src/algebra/Makefile.in3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index fc186f97..5d3fd2ce 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -343,6 +343,7 @@ $(OUT)/DIFFMOD.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT)
$(OUT)/PDDOM.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
$(OUT)/PDSPC.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT)
$(OUT)/DSEXT.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT) $(OUT)/PDSPC.$(FASLEXT)
+$(OUT)/ORDTYPE.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT)
axiom_algebra_layer_0 = \
AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \
@@ -370,7 +371,7 @@ axiom_algebra_layer_0 = \
LIST DIFFDOM DIFFDOM- DIFFSPC DIFFSPC- DIFFMOD \
LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \
RTVALUE SYSPTR PDDOM PDDOM- PDSPC PDSPC- \
- DSEXT DSEXT-
+ DSEXT DSEXT- ORDTYPE ORDTYPE-
axiom_algebra_layer_0_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_0))