diff options
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 04e11dec..d95411d1 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -669,7 +669,7 @@ stamp-subdirs: $(MKDIR_P) $(oa_targetdir)/share $(MKDIR_P) $(oa_targetdir)/doc $(MKDIR_P) $(oa_targetdir)/doc/help - $(MKDIR_P) algebra/strap + $(MKDIR_P) $(oa_targetdir)/src/algebra touch stamp-subdirs .PHONY: $(oa_all_targets) @@ -714,7 +714,15 @@ all-interpsys: all-boot all-hyper-pre all-utils all-axiomsys: all-asq cd interp && $(MAKE) $(AM_MAKEFLAGS) all-axiomsys -all-algebra: all-interpsys all-share all-hyper-pre +all-algebra: all-driver all-interpsys all-share all-hyper-pre + cd algebra && $(MAKE) $(AM_MAKEFLAGS) $@ + +.PHONY: all-algstrap +all-algstrap: all-driver all-interpsys + cd algebra && $(MAKE) $(AM_MAKEFLAGS) $@ + +.PHONY: all-initdb +all-initdb: all-driver all-interpsys cd algebra && $(MAKE) $(AM_MAKEFLAGS) $@ .PHONY: all-hyper-pre |