diff options
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 |