diff options
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 94c3641c..85249ac1 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -259,12 +259,14 @@ $(OUT)/PROPLOG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) $(OUT)/RETRACT-.$(FASLEXT): $(OUT)/KRCFROM.$(FASLEXT) $(OUT)/MAYBE.$(FASLEXT): $(OUT)/KOERCE.$(FASLEXT) $(OUT)/RETRACT.$(FASLEXT) +$(OUT)/BYTEORD.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) + axiom_algebra_layer_1 = \ AGG AGG- IEVALAB IEVALAB- FORTCAT ITUPLE \ PATAB PPCURVE PSCURVE REAL RESLATC RETRACT \ RETRACT- SEGCAT BINDING BMODULE LOGIC \ LOGIC- EVALAB EVALAB- FEVALAB FEVALAB- \ - OSGROUP MAYBE DATAARY PROPLOG HOMOTOP + OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD axiom_algebra_layer_1_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1)) |