diff options
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index d09db854..109a39d1 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -287,6 +287,8 @@ axiom_algebra_layer_2 = \ CONTOUR LIST3 MKFUNC OASGP KTVLOGIC FNCAT \ IDENT +$(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) + axiom_algebra_layer_2_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2)) |