diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index dd1ce5a6..c66d563b 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -759,7 +759,7 @@ oa_algebra_layer_0_objects = \ $(addsuffix .$(FASLEXT),$(oa_algebra_layer_0))) oa_algebra_layer_1 = \ - ABELGRP ABELGRP- ABELMON ABELMON- ITUPLE \ + ABELGRP ABELGRP- ABELMON ABELMON- ITUPLE IDPT \ CABMON MONOID MONOID- RING RING- COMRING \ DIFRING SRING ENTIRER INTDOM INTDOM- OINTDOM \ GCDDOM GCDDOM- UFD UFD- ES ES- \ @@ -2219,6 +2219,7 @@ strap-1/IDPAG.$(FASLEXT): strap-1/ABELGRP.$(FASLEXT) \ strap-1/IDPAM.$(FASLEXT): strap-1/ABELMON.$(FASLEXT) \ strap-1/IDPC.$(FASLEXT) strap-1/IDPO.$(FASLEXT) +strap-1/IDPT.$(FASLEXT): strap-1/PAIR.$(FASLEXT) strap-1/IDPO.$(FASLEXT): strap-1/PAIR.$(FASLEXT) strap-1/PAIR.$(FASLEXT): strap-1/KOERCE.$(FASLEXT) \ @@ -2858,6 +2859,8 @@ $(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT) $(OUT)/MONOP.$(FASLEXT): $(OUT)/MONOPC.$(FASLEXT) $(OUT)/PAIR.$(FASLEXT) \ $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/IDPT.$(FASLEXT): $(OUT)/PAIR.$(FASLEXT) + $(OUT)/FNCAT.$(FASLEXT): $(OUT)/HOMOTOP.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/COMMONOP.$(FASLEXT): $(OUT)/BOP.$(FASLEXT) |