diff options
author | dos-reis <gdr@axiomatics.org> | 2013-06-18 00:47:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-06-18 00:47:44 +0000 |
commit | 5d68f2651a08223febcc172a6cb49a6e92899034 (patch) | |
tree | dfea7ee6418af2cb05fd0747facf7ff92b4fa1c9 /src/algebra/Makefile.in | |
parent | 7db3376a614a5aeacc114c38002ea65e57046dc5 (diff) | |
download | open-axiom-5d68f2651a08223febcc172a6cb49a6e92899034.tar.gz |
* algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New.
(CommutativeOperation): Likewise.
* algebra/Makefile.am (oa_algebra_layer_0): Include them.
Diffstat (limited to 'src/algebra/Makefile.in')
-rw-r--r-- | src/algebra/Makefile.in | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 7b6df916..7a245f7c 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -683,7 +683,6 @@ SPADFILES = \ $(OUTSRC)/sign.spad $(OUTSRC)/si.spad $(OUTSRC)/smith.spad \ $(OUTSRC)/solvedio.spad $(OUTSRC)/solvefor.spad $(OUTSRC)/solvelin.spad \ $(OUTSRC)/solverad.spad $(OUTSRC)/sortpak.spad $(OUTSRC)/space.spad \ - $(srcdir)/spad-parser.spad \ $(OUTSRC)/special.spad $(OUTSRC)/sregset.spad $(OUTSRC)/s.spad \ $(OUTSRC)/stream.spad $(OUTSRC)/string.spad $(OUTSRC)/sttaylor.spad \ $(OUTSRC)/sttf.spad $(OUTSRC)/sturm.spad $(OUTSRC)/suchthat.spad \ @@ -699,7 +698,7 @@ SPADFILES = \ $(OUTSRC)/utsode.spad \ $(OUTSRC)/variable.spad $(OUTSRC)/vector.spad $(OUTSRC)/view2D.spad \ $(OUTSRC)/view3D.spad $(OUTSRC)/viewDef.spad $(OUTSRC)/viewpack.spad \ - $(OUTSRC)/void.spad \ + $(OUTSRC)/void.spad $(OUTSRC)/parsers.spad \ $(OUTSRC)/weier.spad $(OUTSRC)/wtpol.spad \ $(OUTSRC)/xlpoly.spad $(OUTSRC)/xpoly.spad \ $(OUTSRC)/ystream.spad \ @@ -708,7 +707,7 @@ SPADFILES = \ TESTS = $(INPUT)/INTHEORY.input $(INPUT)/VIEW2D.input $(INPUT)/TESTFR.input oa_algebra_layer_0 = \ TYPE BINOPC BINOP IDEMOPC SGPOPC SGPOP \ - MONOPC FUNCTOR \ + MONOPC FUNCTOR COMOPC COMOP \ BASTYPE BASTYPE- SETCAT SETCAT- SGROUP SGROUP- \ LLINSET RLINSET LINSET ABELSG ABELSG- CHARNZ \ ABELGRP ABELGRP- ABELMON ABELMON- ORDTYPE ORDTYPE- \ @@ -3034,6 +3033,10 @@ $(OUT)/SYMBOL.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT) \ strap-2/PRIMARR.$(FASLEXT) strap-2/REF.$(FASLEXT) \ strap-2/STRING.$(FASLEXT) +$(OUT)/COMOPC.$(FASLEXT): $(OUT)/BINOPC.$(FASLEXT) + +$(OUT)/COMOP.$(FASLEXT): $(OUT)/COMOPC.$(FASLEXT) $(OUT)/KOERCE.$(FASLEXT) + $(OUT)/VOID.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/HOMOTOP.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/KRCFROM.$(FASLEXT) $(OUT)/ITUPLE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/STREAM.$(FASLEXT) @@ -3325,12 +3328,6 @@ $(builddir)/%.tex: $(srcdir)/%.pamphlet $(oa_build_texdir)/diagrams.tex: $(oa_src_docdir)/diagrams.tex @cp -p $< $@ -SPADPRSR.NRLIB/code.$(FASLEXT): spad-parser.spad - $(COMPILE_SPAD) - -PARSER.NRLIB/code.$(FASLEXT): script-parser.spad - $(COMPILE_SPAD) - $(INPUT)/TESTFR.input: $(srcdir)/fr.spad.pamphlet $(oa_hammer) --tangle='TEST FR' --output=$@ $< |