diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 2f6bf3e4..b9543285 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -267,6 +267,26 @@ axiom_algebra_layer_0_nrlibs = \ axiom_algebra_layer_0_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_0))) + +$(OUT)/AGG.$(FASLEXT) $(OUT)/AGG-.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) + +$(OUT)/HOMOTOP.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/KRCFROM.$(FASLEXT) +$(OUT)/ITUPLE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) +$(OUT)/PATAB.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) +$(OUT)/PPCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) +$(OUT)/PSCURVE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) + +$(OUT)/IEVALAB.$(FASLEXT) $(OUT)/IEVALAB-.$(FASLEXT): \ + $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/EVALAB.$(FASLEXT) $(OUT)/EVALAB-.$(FASLEXT): \ + $(OUT)/IEVALAB.$(FASLEXT) + +$(OUT)/LOGIC.$(FASLEXT) $(OUT)/LOGIC-.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) +$(OUT)/PROPLOG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) + +$(OUT)/RETRACT.$(FASLEXT) $(OUT)/RETRACT-.$(FASLEXT): $(OUT)/KRCFROM.$(FASLEXT) +$(OUT)/MAYBE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) + axiom_algebra_layer_1 = \ AGG AGG- IEVALAB IEVALAB- FORTCAT ITUPLE \ PATAB PPCURVE PSCURVE REAL RESLATC RETRACT \ |