diff options
Diffstat (limited to 'src/Makefile.in')
-rw-r--r-- | src/Makefile.in | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 420b1c8f..d6efda33 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -5,7 +5,7 @@ subdir = src/ SUBDIRS = @axiom_src_subdirs@ -.PHONY: all all-ax all-src all-clef all-sman all-driver +.PHONY: all all-ax all-src all-clef all-sman all-driver all-utils all: all-ax @@ -19,6 +19,9 @@ stamp: @axiom_src_all@ all-driver all-driver: all-lib @cd driver && $(MAKE) $@ +all-utils: + @cd utils && $(MAKE) $@ + all-clef: all-lib @$(mkdir_p) "$(axiom_target_bindir)" cd clef && $(MAKE) $@ @@ -41,7 +44,7 @@ all-lisp: all-lib cd lisp && $(MAKE) all-lisp all-boot: all-lisp @cd boot && $(MAKE) $@ -all-interpsys: all-boot all-hyper-pre +all-interpsys: all-boot all-hyper-pre all-utils cd interp && ${MAKE} all-interpsys all-axiomsys: all-asq @@ -54,7 +57,7 @@ all-hyper-pre: all-lib cd hyper && $(MAKE) all-hyper-pre all-input: all-axiomsys all-doc cd input && ${MAKE} -all-asq: all-hyper-post +all-asq: all-hyper-post all-utils cd etc && $(MAKE) $@ .PHONY: all-databases |