diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-26 00:48:34 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-26 00:48:34 +0000 |
commit | fb209a840dc764bdfa285ad3cb7575df21a43289 (patch) | |
tree | 22c5f97139814096d211f26b4daa059b0d85d10b /src/algebra/Makefile.pamphlet | |
parent | a4c3f01ad687e6b8a29db845f725c00b06016f36 (diff) | |
download | open-axiom-fb209a840dc764bdfa285ad3cb7575df21a43289.tar.gz |
r12485@gauss: gdr | 2008-12-17 16:26:21 -0600
Branch to improve reflection.
r12493@gauss: gdr | 2008-12-20 23:29:51 -0600
Add domain representations for constructors.
r12494@gauss: gdr | 2008-12-21 14:27:37 -0600
Consolidate constructor domains.
r12502@gauss: gdr | 2008-12-22 20:36:21 -0600
Constructors are values.
r12504@gauss: gdr | 2008-12-25 13:58:01 -0600
r12505@gauss: gdr | 2008-12-25 18:48:04 -0600
Commit ChangeLog.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r-- | src/algebra/Makefile.pamphlet | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 2dccf863..8e96e46b 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -188,7 +188,7 @@ axiom_algebra_layer_0 = \ KRCFROM KVTFROM \ MSYSCMD OM OMCONN OMDEV OUT \ PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \ - PROPERTY BASTYPE BASTYPE- CATEGORY LMODULE \ + PROPERTY BASTYPE BASTYPE- LMODULE \ RMODULE FINITE STEP SGROUP SGROUP- ABELSG \ ABELSG- ORDSET ORDSET- FILECAT SEXCAT \ MKBCFUNC MKRECORD MKUCFUNC DROPT1 PLOT1 ITFUN2 \ @@ -239,7 +239,7 @@ axiom_algebra_layer_2 = \ ELTAGG ELTAGG- FMC FMFUN FORTFN FVC \ SYNTAX FVFUN INTRET IXAGG IXAGG- SEGXCAT \ CONTOUR LIST3 MKFUNC OASGP KTVLOGIC FNCAT \ - BYTE + BYTE IDENT axiom_algebra_layer_2_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2)) @@ -260,7 +260,7 @@ grdef.spad.pamphlet (GRDEF) <<layer3>>= axiom_algebra_layer_3 = \ GRDEF SCOPE MAPHACK1 MAPHACK2 MAPHACK3 MAPPKG1 \ - MAPPKG2 MAPPKG3 INTBIT MONAD MONAD- CTORCALL + MAPPKG2 MAPPKG3 INTBIT MONAD MONAD- @@ -812,7 +812,7 @@ space.spad.pamphlet (SPACEC SPACE3 TOPSP) <<layer16>>= axiom_algebra_layer_16 = \ - DPMM EFUPXS FFINTBAS FRIDEAL OPERCAT \ + DPMM EFUPXS FFINTBAS FRIDEAL OPERCAT OPERCAT- \ FRIDEAL2 FRMOD \ IBATOOL INTFACT \ MSETAGG MONOGEN MONOGEN- NFINTBAS \ @@ -851,8 +851,8 @@ view3D.spad.pamphlet (VIEW3D) <<layer17>>= axiom_algebra_layer_17 = \ - CCLASS FSAGG2 GALFACT IALGFACT \ - IBACHIN MMLFORM NORMMA ODERED OMSAGG \ + CCLASS FSAGG2 GALFACT IALGFACT CTORCAT CTORCAT- \ + IBACHIN MMLFORM NORMMA ODERED OMSAGG OPSIG \ PERM PERMGRP PRIMES PWFFINTB \ RDIST SAE SAEFACT SAERFFC \ SGCF VIEW3D @@ -878,7 +878,7 @@ table.spad.pamphlet (HASHTBL INTABL TABLE EQTBL STRTBL GSTBL STBL) <<layer18>>= axiom_algebra_layer_18 = \ -INTPACK IPF \ + INTPACK IPF CATCTOR DOMCTOR CTORCALL \ KAFILE PATRES TBCMPPK axiom_algebra_layer_18_nrlibs = \ @@ -1232,7 +1232,7 @@ zerodim.spad.pamphlet (LEXTRIPK IRURPK RURPK) axiom_algebra_layer_23 = \ CPIMA IRURPK LAZM3PK LEXTRIPK \ NORMPK QCMPACK RURPK SFRGCD \ - SFQCMPK INTRVL ODEEF DOMAIN + SFQCMPK INTRVL ODEEF DOMAIN CATEGORY axiom_algebra_layer_23_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_23)) @@ -1249,13 +1249,13 @@ we add it here. <<USERLAYER>>= axiom_algebra_layer_user = \ RINTERP ASTCAT ASTCAT- SASTCAT SASTCAT- HEADAST \ - LITERAL IDENT TYPEAST IMPTAST MAPPAST ATTRAST \ + LITERAL TYPEAST IMPTAST MAPPAST ATTRAST \ JOINAST IFAST RPTAST WHILEAST INAST CLLCAST \ LSTAST EXITAST RETAST SEGAST PRTDAST CRCAST \ LETAST SUCHAST RDUCEAST COLONAST ADDAST CAPSLAST \ CASEAST HASAST ISAST CATAST WHEREAST COMMAAST \ QQUTAST DEFAST MACROAST SPADXPT SPADAST \ - INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC CTORKIND \ + INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC \ CTOR IP4ADDR NETCLT INETCLTS axiom_algebra_layer_user_nrlibs = \ @@ -1267,7 +1267,6 @@ axiom_algebra_layer_user_objects = \ SASTCAT.NRLIB/code.$(FASLEXT): $(OUT)/ASTCAT.$(FASLEXT) LITERAL.NRLIB/code.$(FASLEXT): $(OUT)/SASTCAT.$(FASLEXT) -IDENT.NRLIB/code.$(FASLEXT): $(OUT)/SASTCAT.$(FASLEXT) HEADAST.NRLIB/code.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) SPADXPT.NRLIB/code.$(FASLEXT): $(OUT)/ASTCAT.$(FASLEXT) ATTRAST.NRLIB/code.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) |