From 5810cb6f263679851a135691a7ee483fda959472 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 9 Jan 2009 16:11:08 +0000 Subject: * 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. --- src/algebra/Makefile.in | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'src/algebra/Makefile.in') 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)) -- cgit v1.2.3