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.in11
1 files changed, 8 insertions, 3 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index efcfdf48..ebfc81c3 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -770,12 +770,12 @@ axiom_algebra_layer_14_objects = \
$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_14)))
$(OUT)/EXPUPXS.$(FASLEXT): $(OUT)/UPXS.$(FASLEXT)
$(OUT)/UPXS.$(FASLEXT): $(OUT)/UPXSCAT.$(FASLEXT) $(OUT)/UPXSCONS.$(FASLEXT) \
- $(OUT)/ULS.$(FASLEXT)
+ $(OUT)/ULS.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT)
$(OUT)/UPXSCONS.$(FASLEXT): $(OUT)/UPXSCCA.$(FASLEXT)
-$(OUT)/ULS.$(FASLEXT): $(OUT)/ULSCONS.$(FASLEXT)
+$(OUT)/ULS.$(FASLEXT): $(OUT)/ULSCONS.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT)
$(OUT)/ULSCONS.$(FASLEXT): $(OUT)/ULSCCAT.$(FASLEXT)
$(OUT)/ULSCCAT.$(FASLEXT): $(OUT)/UTS.$(FASLEXT)
-$(OUT)/UTS.$(FASLEXT): $(OUT)/UTSCAT.$(FASLEXT)
+$(OUT)/UTS.$(FASLEXT): $(OUT)/UTSCAT.$(FASLEXT) $(OUT)/PDDOM.$(FASLEXT)
axiom_algebra_layer_15 = \
DSMP EXPUPXS UPXS UPXSCONS \
@@ -831,6 +831,7 @@ axiom_algebra_layer_18_objects = \
$(addprefix $(OUT)/, \
$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_18)))
$(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT)
+$(OUT)/FPARFRAC.$(FASLEXT): $(OUT)/DIFFSPC.$(FASLEXT)
axiom_algebra_layer_19 = \
ACPLOT ANTISYM ATTRBUT \
@@ -869,6 +870,7 @@ axiom_algebra_layer_19_objects = \
$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_19)))
$(OUT)/AN.$(FASLEXT): $(OUT)/IAN.$(FASLEXT)
$(OUT)/IAN.$(FASLEXT): $(OUT)/EXPR.$(FASLEXT)
+$(OUT)/SUTS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT)
axiom_algebra_layer_20 = \
AF ALGFACT ALGFF ALGMANIP ALGMFACT ALGPKG \
@@ -910,6 +912,9 @@ axiom_algebra_layer_20_objects = \
$(addprefix $(OUT)/, \
$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_20)))
$(OUT)/FDIV.$(FASLEXT): $(OUT)/HELLFDIV.$(FASLEXT)
+$(OUT)/GSERIES.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT)
+$(OUT)/SULS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT)
+$(OUT)/SUPXS.$(FASLEXT): $(OUT)/PDDOM.$(FASLEXT)
axiom_algebra_layer_21 = \
DEFINTEF DFINTTLS DEFINTRF D01TRNS \