aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r--src/algebra/Makefile.pamphlet7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 4377820b..ec2c0682 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -385,7 +385,8 @@ axiom_algebra_layer_1 = \
ORDRING ORDRING- FEVALAB FEVALAB- \
OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \
FIELD FIELD- VECTCAT VECTCAT- IARRAY1 BOOLE \
- PROPERTY ARITY OPERCAT OPERCAT-
+ PROPERTY ARITY OPERCAT OPERCAT- PAIR \
+ RADCAT RADCAT-
axiom_algebra_layer_1_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1))
@@ -450,7 +451,7 @@ axiom_algebra_layer_4 = \
PALETTE PARPCURV PARPC2 PARSCURV PARSC2 PARSURF \
PARSU2 PATRES2 PATTERN1 PDECAT \
REPSQ REPDB RFDIST RIDIST SPACEC SPLNODE \
- SUCH TEX1 UDVO YSTREAM PAIR ENV \
+ SUCH TEX1 UDVO YSTREAM ENV \
ATRIG ATRIG- GROUP GROUP- LALG LALG-
@@ -562,7 +563,7 @@ axiom_algebra_layer_9 = \
FAGROUP FAMONOID FLINEXP FLINEXP- FRETRCT FRETRCT- \
FSERIES FT IDPAG IDPOAMS INFINITY LA \
OMLO ORTHPOL PRODUCT PADICCT PMPRED PMASS \
- PTFUNC2 RADCAT RADCAT- RATRET RADUTIL UPXS2 \
+ PTFUNC2 RATRET RADUTIL UPXS2 \
XFALG ZLINDEP BBTREE TABLE INTABL \
ODEIFTBL NIPROB ODEPROB OPTPROB \
PDEPROB COLOR SIG FMONCAT