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, 5 insertions, 1 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index ebfc81c3..eeac7514 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -427,6 +427,10 @@ $(OUT)/BINDING.$(FASLEXT): $(OUT)/PROPERTY.$(FASLEXT)
$(OUT)/OPERCAT.$(FASLEXT): $(OUT)/ARITY.$(FASLEXT)
$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT)
$(OUT)/DIFRING.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT)
+$(OUT)/PDMOD.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/PDSPC.$(FASLEXT) \
+ $(OUT)/COMRING.$(FASLEXT) $(OUT)/MODULE.$(FASLEXT)
+$(OUT)/DMEXT.$(FASLEXT): $(OUT)/DSEXT.$(FASLEXT) $(OUT)/DIFFMOD.$(FASLEXT) \
+ $(OUT)/PDMOD.$(FASLEXT)
axiom_algebra_layer_1 = \
ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \
@@ -439,7 +443,7 @@ axiom_algebra_layer_1 = \
OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \
FIELD FIELD- VECTCAT VECTCAT- IARRAY1 BOOLE \
PROPERTY ARITY OPERCAT OPERCAT- PAIR \
- RADCAT RADCAT-
+ RADCAT RADCAT- PDMOD DMEXT
axiom_algebra_layer_1_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1))