From 6ec189437ed7e4f737875407152cd2c359d2942e Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 28 May 2008 00:29:58 +0000 Subject: * algebra/catdef.spad.pamphlet (OrderedSemiGroup): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP. --- src/algebra/Makefile.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/algebra/Makefile.in') diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 59ca6433..60409632 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -378,7 +378,8 @@ axiom_algebra_layer_1 = \ AGG AGG- IEVALAB IEVALAB- FORTCAT ITUPLE \ PATAB PPCURVE PSCURVE REAL RESLATC RETRACT \ RETRACT- SEGCAT BINDING SYNTAX BMODULE LOGIC \ - LOGIC- EVALAB EVALAB- FEVALAB FEVALAB- BYTE + LOGIC- EVALAB EVALAB- FEVALAB FEVALAB- BYTE \ + OSGROUP axiom_algebra_layer_1_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) -- cgit v1.2.3