diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-01-09 16:11:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-01-09 16:11:08 +0000 |
| commit | 5810cb6f263679851a135691a7ee483fda959472 (patch) | |
| tree | fc4b7f7262ba55af23cafd1303bd60db447e7789 /src/algebra/Makefile.in | |
| parent | 1bdcca4e5a17ffeb4542c689a705b11b9c6a35cb (diff) | |
| download | open-axiom-5810cb6f263679851a135691a7ee483fda959472.tar.gz | |
* algebra/data.spad.pamphlet (Byte): Satisfy OrderedFinite.
(SystemInteger, SystemNonNegativeInteger, Int8, Int16, Int32,
UInt8, UInt 16, UInt32): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT8,
INT16, INT32, UINT8, UINT16, UINT32.
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 0e301731..6f2f5a6d 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -389,7 +389,7 @@ axiom_algebra_layer_2 = \ ELTAGG ELTAGG- FMC FMFUN FORTFN FVC \ SYNTAX FVFUN INTRET IXAGG IXAGG- SEGXCAT \ CONTOUR LIST3 MKFUNC OASGP KTVLOGIC FNCAT \ - BYTE IDENT + IDENT axiom_algebra_layer_2_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2)) @@ -448,7 +448,7 @@ axiom_algebra_layer_6 = \ DIFEXT DIFEXT- ES1 ES2 GRMOD GRMOD- \ HYPCAT HYPCAT- MKCHSET MODRING NASRING NASRING- \ SORTPAK ZMOD PRQAGG QUAGG SKAGG DQAGG \ - PID OAGROUP OAMONS + PID OAGROUP OAMONS BYTE SYSINT SYSNNI axiom_algebra_layer_6_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_6)) @@ -456,8 +456,9 @@ axiom_algebra_layer_6_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_6))) axiom_algebra_layer_7 = \ - BTCAT BTCAT- LNAGG LNAGG- FMCAT IDPOAM \ - IFAMON GRALG GRALG- FLAGG FLAGG- + BTCAT BTCAT- LNAGG LNAGG- FMCAT IDPOAM \ + IFAMON GRALG GRALG- FLAGG FLAGG- \ + INT8 INT16 INT32 UNIT6 UINT16 UINT32 axiom_algebra_layer_7_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_7)) |