diff options
author | dos-reis <gdr@axiomatics.org> | 2014-11-16 21:53:40 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2014-11-16 21:53:40 +0000 |
commit | 87ce3e64a9cffec5618f43999ea5a17f48165e88 (patch) | |
tree | ff168a5704df4a0b35b3a6ff94038d6df6ba8c68 /src/Makefile.in | |
parent | b2d5c8c2c3bba82b5ce407d33c1ff367bf1819e3 (diff) | |
download | open-axiom-87ce3e64a9cffec5618f43999ea5a17f48165e88.tar.gz |
Remove src/syntax Makefiles; make part of libOpenAxiom
Diffstat (limited to 'src/Makefile.in')
-rw-r--r-- | src/Makefile.in | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index f8801904..90d29e8f 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -730,8 +730,8 @@ uninstall-am: all-local: all-src -.PHONY: all-src all-headers all-syntax $(OA_GRAPHICS_TARGETS) -all-src: all-lib all-utils all-driver all-lisp all-boot all-syntax \ +.PHONY: all-src all-headers $(OA_GRAPHICS_TARGETS) +all-src: all-lib all-utils all-driver all-lisp all-boot \ all-rt all-interpsys all-algebra all-axiomsys all-share \ all-asq all-input all-doc $(OA_SMAN_TARGETS) $(OA_GRAPHICS_TARGETS) @@ -753,10 +753,7 @@ all-driver: all-utils all-lib all-utils: stamp-subdirs all-headers cd utils && $(MAKE) $(AM_MAKEFLAGS) $@ -all-syntax: all-utils - cd syntax && $(MAKE) $(AM_MAKEFLAGS) $@ - -all-rt: all-utils all-syntax +all-rt: all-utils cd rt && $(MAKE) $(AM_MAKEFLAGS) $@ all-clef: all-lib |