diff options
Diffstat (limited to 'src/algebra/Makefile.am')
| -rw-r--r-- | src/algebra/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am index d1b5cbae..181dedba 100644 --- a/src/algebra/Makefile.am +++ b/src/algebra/Makefile.am @@ -729,6 +729,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) \ @@ -1559,8 +1560,10 @@ $(OUT)/STREAM.$(FASLEXT): $(OUT)/LZSTAGG.$(FASLEXT) $(OUT)/MONOP.$(FASLEXT): $(OUT)/MONOPC.$(FASLEXT) $(OUT)/PAIR.$(FASLEXT) \ $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/IDPT.$(FASLEXT): $(OUT)/PAIR.$(FASLEXT) + 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- \ |