aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-05-28 00:29:58 +0000
committerdos-reis <gdr@axiomatics.org>2008-05-28 00:29:58 +0000
commit6ec189437ed7e4f737875407152cd2c359d2942e (patch)
tree48183ccf896a1ce9ee26cd289f33c2b436848e60 /src/algebra/Makefile.pamphlet
parentb366261f80ac518a14ad3c12ca7c0f77fc7d7474 (diff)
downloadopen-axiom-6ec189437ed7e4f737875407152cd2c359d2942e.tar.gz
* algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r--src/algebra/Makefile.pamphlet3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 28596791..0012c422 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -218,7 +218,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))