diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 0852a79b..5ba7f1f3 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -110,7 +110,7 @@ oa_strap_0_sources = \ PROPLOG BOOLE LOGIC \ ABELGRP LLINSET RLINSET LINSET CABMON ABELMON ABELSG \ SGROUP MONOID OAMON OAMONS OASGP OCAMON OAGROUP \ - RNG RING ORDRING LMODULE RMODULE BMODULE \ + RNG SRING RING ORDRING LMODULE RMODULE BMODULE \ COMRING ENTIRER ALGEBRA MODULE DIVRING FIELD \ DIFFSPC DIFFDOM DIFRING LINEXP PATMAB CFCAT REAL \ INTDOM GCDDOM PID UFD OINTDOM INS OM \ @@ -170,6 +170,7 @@ strap-0/LMODULE.$(FASLEXT): strap-0/ABELGRP.$(FASLEXT) \ strap-0/LLINSET.$(FASLEXT) strap-0/RMODULE.$(FASLEXT): strap-0/ABELGRP.$(FASLEXT) \ strap-0/RLINSET.$(FASLEXT) +strap-0/SRING.$(FASLEXT): strap-0/ABELMON.$(FASLEXT) strap-0/MONOID.$(FASLEXT) strap-0/RING.$(FASLEXT): strap-0/RNG.$(FASLEXT) strap-0/MONOID.$(FASLEXT) \ strap-0/LMODULE.$(FASLEXT) strap-0/KRCFROM.$(FASLEXT) strap-0/COMRING.$(FASLEXT): strap-0/RING.$(FASLEXT) strap-0/BMODULE.$(FASLEXT) @@ -852,7 +853,7 @@ axiom_algebra_layer_0 = \ LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ RTVALUE SYSPTR PDDOM PDDOM- PDSPC PDSPC- \ DSEXT DSEXT- ORDTYPE ORDTYPE- ORDSTRCT \ - BOOLE BOOLE- REF ALIST PRIMARR + BOOLE BOOLE- REF ALIST PRIMARR SRING axiom_algebra_layer_0_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_0)) @@ -878,6 +879,7 @@ $(OUT)/MAYBE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) $(OUT)/BYTEORD.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/SRING.$(FASLEXT): $(OUT)/ABELMON.$(FASLEXT) $(OUT)/MONOID.$(FASLEXT) $(OUT)/RING.$(FASLEXT): $(OUT)/RNG.$(FASLEXT) $(OUT)/MONOID.$(FASLEXT) \ $(OUT)/LMODULE.$(FASLEXT) $(OUT)/KOERCE.$(FASLEXT) $(OUT)/MONOID.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT) |