diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-24 03:20:11 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-24 03:20:11 +0000 |
| commit | 174164a1d057bb5f133a323c9e47bb63534fc375 (patch) | |
| tree | e976bd6f85264d35a045e9a3989a66819383dde4 /src/algebra/Makefile.in | |
| parent | 2f1248f84e09ddbb48e5ef0700ee61463da0be41 (diff) | |
| download | open-axiom-174164a1d057bb5f133a323c9e47bb63534fc375.tar.gz | |
* algebra/strap/PSETCAT-.lsp: Remove.
* algebra/strap/PSETCAT.lsp: Likewise.
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 09351663..e6c46115 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -196,8 +196,8 @@ axiom_algebra_bootstrap = \ LNAGG- LSAGG LSAGG- MONOID \ MONOID- MTSCAT NNI OINTDOM \ ORDRING ORDRING- OUTFORM PI \ - PRIMARR POLYCAT POLYCAT- PSETCAT \ - PSETCAT- QFCAT QFCAT- RCAGG \ + PRIMARR POLYCAT POLYCAT- \ + QFCAT QFCAT- RCAGG \ RCAGG- RING RING- \ RNG RNS RNS- SETAGG \ SETAGG- SINT \ @@ -215,8 +215,8 @@ axiom_algebra_bootstrap_last_layer = \ INS INS- INT \ MTSCAT NNI \ OUTFORM PI \ - PRIMARR POLYCAT POLYCAT- PSETCAT \ - PSETCAT- QFCAT QFCAT- \ + PRIMARR POLYCAT POLYCAT- \ + QFCAT QFCAT- \ RNS RNS- \ SINT \ SYMBOL \ @@ -718,9 +718,12 @@ axiom_algebra_layer_17_nrlibs = \ axiom_algebra_layer_17_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_17))) +$(OUT)/PSETCAT.$(FASLEXT): $(OUT)/RPOLCAT.$(FASLEXT) + axiom_algebra_layer_18 = \ INTPACK IPF CATCTOR DOMCTOR CTORCALL \ - KAFILE PATRES TBCMPPK + KAFILE PATRES TBCMPPK PSETCAT PSETCAT- \ + RPOLCAT RPOLCAT- axiom_algebra_layer_18_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_18)) @@ -728,6 +731,8 @@ axiom_algebra_layer_18_nrlibs = \ axiom_algebra_layer_18_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_18))) +$(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT) + axiom_algebra_layer_19 = \ ACPLOT ANTISYM ANY ATTRBUT \ BOP BOP1 COMMONOP COMPCAT \ @@ -750,8 +755,8 @@ axiom_algebra_layer_19 = \ PMKERNEL PMSYM PRIMELT \ QALGSET2 QEQUAT RECLOS REP1 \ RESULT QUATCAT QUATCAT- RFFACT \ - RMATRIX ROMAN ROUTINE RPOLCAT \ - RPOLCAT- RULECOLD SAOS SEGBIND \ + RMATRIX ROMAN ROUTINE \ + RULECOLD SAOS SEGBIND \ SET SPECOUT SQMATRIX SWITCH \ SYSSOLP UTSCAT \ UTSCAT- VARIABLE WFFINTBS SPADPRSR \ |