From e737447b4ab19f4404057c60455f740cabf9c1d4 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 25 May 2009 19:22:05 +0000 Subject: Tidy Makefile --- src/algebra/Makefile.in | 17 +++++++++-------- src/algebra/Makefile.pamphlet | 17 +++++++++-------- 2 files changed, 18 insertions(+), 16 deletions(-) (limited to 'src/algebra') diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 49604e68..151a6515 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -398,6 +398,7 @@ $(OUT)/VECTCAT.$(FASLEXT): $(OUT)/RADCAT.$(FASLEXT) $(OUT)/IARRAY1.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT) $(OUT)/PROPERTY.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/BINDING.$(FASLEXT): $(OUT)/PROPERTY.$(FASLEXT) +$(OUT)/OPERCAT.$(FASLEXT): $(OUT)/ARITY.$(FASLEXT) axiom_algebra_layer_1 = \ ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \ @@ -409,7 +410,7 @@ axiom_algebra_layer_1 = \ ORDRING ORDRING- FEVALAB FEVALAB- \ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ FIELD FIELD- VECTCAT VECTCAT- IARRAY1 \ - PROPERTY + PROPERTY ARITY OPERCAT OPERCAT- axiom_algebra_layer_1_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) @@ -418,13 +419,13 @@ axiom_algebra_layer_1_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_1))) axiom_algebra_layer_2 = \ - SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \ - KTVLOGIC FNCAT + SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \ + COMMONOP KTVLOGIC FNCAT SCACHE BOP BOP1 $(OUT)/FNCAT.$(FASLEXT): $(OUT)/HOMOTOP.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT/KTVLOGIC.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) - +$(OUT)/COMMONOP.$(FASLEXT): $(OUT)/BOP.$(FASLEXT) axiom_algebra_layer_2_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2)) @@ -557,7 +558,7 @@ axiom_algebra_layer_10 = \ PINTERP PLOTTOOL PFR PMDOWN \ PRTITION PMINS PMLSAGG PMTOOLS \ PSCAT PSCAT- QFORM QUEUE \ - SCACHE SEG SEG2 SEXOF \ + SEG SEG2 SEXOF \ STACK STTAYLOR TABLBUMP TABLEAU \ TOPSP TRANFUN TRANFUN- TUBE \ UDPO UNISEG VIEW VSPACE \ @@ -696,7 +697,7 @@ axiom_algebra_layer_14_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_14))) axiom_algebra_layer_15 = \ - DSMP EXPUPXS ARITY \ + DSMP EXPUPXS \ FRAMALG FRAMALG- MDAGG ODPOL \ PLOT RMCAT2 ROIRC SDPOL \ SMATCAT SMATCAT- TUBETOOL UPXSCCA \ @@ -709,7 +710,7 @@ axiom_algebra_layer_15_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_15))) axiom_algebra_layer_16 = \ - DPMM EFUPXS FFINTBAS FRIDEAL OPERCAT OPERCAT- \ + DPMM EFUPXS FFINTBAS FRIDEAL \ FRIDEAL2 FRMOD \ IBATOOL INTFACT \ MSETAGG MONOGEN MONOGEN- NFINTBAS \ @@ -751,7 +752,7 @@ $(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT) axiom_algebra_layer_19 = \ ACPLOT ANTISYM ANY ATTRBUT \ - BOP BOP1 COMMONOP COMPCAT \ + COMPCAT \ COMPCAT- DRAW DRAWCFUN DROPT \ DROPT0 D01ANFA D01ASFA D03AGNT \ EP E04AGNT FCPAK1 FEXPR \ diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 4c37d9cc..457a32bd 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -357,6 +357,7 @@ $(OUT)/VECTCAT.$(FASLEXT): $(OUT)/RADCAT.$(FASLEXT) $(OUT)/IARRAY1.$(FASLEXT): $(OUT)/PRIMARR.$(FASLEXT) $(OUT)/PROPERTY.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/BINDING.$(FASLEXT): $(OUT)/PROPERTY.$(FASLEXT) +$(OUT)/OPERCAT.$(FASLEXT): $(OUT)/ARITY.$(FASLEXT) axiom_algebra_layer_1 = \ ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \ @@ -368,7 +369,7 @@ axiom_algebra_layer_1 = \ ORDRING ORDRING- FEVALAB FEVALAB- \ OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \ FIELD FIELD- VECTCAT VECTCAT- IARRAY1 \ - PROPERTY + PROPERTY ARITY OPERCAT OPERCAT- axiom_algebra_layer_1_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) @@ -382,13 +383,13 @@ axiom_algebra_layer_1_objects = \ <>= axiom_algebra_layer_2 = \ - SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \ - KTVLOGIC FNCAT + SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \ + COMMONOP KTVLOGIC FNCAT SCACHE BOP BOP1 $(OUT)/FNCAT.$(FASLEXT): $(OUT)/HOMOTOP.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT/KTVLOGIC.$(FASLEXT): $(OUT)/PROPLOG.$(FASLEXT) - +$(OUT)/COMMONOP.$(FASLEXT): $(OUT)/BOP.$(FASLEXT) axiom_algebra_layer_2_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2)) @@ -564,7 +565,7 @@ axiom_algebra_layer_10 = \ PINTERP PLOTTOOL PFR PMDOWN \ PRTITION PMINS PMLSAGG PMTOOLS \ PSCAT PSCAT- QFORM QUEUE \ - SCACHE SEG SEG2 SEXOF \ + SEG SEG2 SEXOF \ STACK STTAYLOR TABLBUMP TABLEAU \ TOPSP TRANFUN TRANFUN- TUBE \ UDPO UNISEG VIEW VSPACE \ @@ -728,7 +729,7 @@ axiom_algebra_layer_14_objects = \ <>= axiom_algebra_layer_15 = \ - DSMP EXPUPXS ARITY \ + DSMP EXPUPXS \ FRAMALG FRAMALG- MDAGG ODPOL \ PLOT RMCAT2 ROIRC SDPOL \ SMATCAT SMATCAT- TUBETOOL UPXSCCA \ @@ -746,7 +747,7 @@ axiom_algebra_layer_15_objects = \ <>= axiom_algebra_layer_16 = \ - DPMM EFUPXS FFINTBAS FRIDEAL OPERCAT OPERCAT- \ + DPMM EFUPXS FFINTBAS FRIDEAL \ FRIDEAL2 FRMOD \ IBATOOL INTFACT \ MSETAGG MONOGEN MONOGEN- NFINTBAS \ @@ -803,7 +804,7 @@ $(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT) axiom_algebra_layer_19 = \ ACPLOT ANTISYM ANY ATTRBUT \ - BOP BOP1 COMMONOP COMPCAT \ + COMPCAT \ COMPCAT- DRAW DRAWCFUN DROPT \ DROPT0 D01ANFA D01ASFA D03AGNT \ EP E04AGNT FCPAK1 FEXPR \ -- cgit v1.2.3