diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index fef42f50..dd691b5a 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -939,7 +939,7 @@ axiom_algebra_layer_user = \ ASP73 ASP27 ASP28 ASP33 ASP49 ASP7 \ ASP78 ASP9 ASP12 ASP55 ASP8 ASP19 \ ASP20 ASP30 ASP31 ASP35 ASP41 ASP42 \ - ASP74 ASP77 ASP80 ASP29 + ASP74 ASP77 ASP80 ASP29 IRFORM axiom_algebra_layer_user_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user)) @@ -1013,6 +1013,8 @@ $(OUT)/INETCLTS.$(FASLEXT): $(OUT)/NETCLT.$(FASLEXT) $(OUT)/ASP34.$(FASLEXT): $(OUT)/FMC.$(FASLEXT) +$(OUT)/IRFORM.$(FASLEXT): $(OUT)/SYNTAX.$(FASLEXT) + .PHONY: all all-algebra mkdir-output-directory all: all-ax |