diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Makefile.am b/Makefile.am index d20715f3..6c1a79cf 100644 --- a/Makefile.am +++ b/Makefile.am @@ -56,6 +56,7 @@ OA_SRC_TARGETS = \ all-src \ all-algebra \ all-algstrap \ + all-initdb \ all-asq \ all-axiomsys \ all-boot \ @@ -85,10 +86,6 @@ all: all-local $(OA_SRC_TARGETS): cd src && $(MAKE) $@ -.PHONY: all-algstrap -all-algstrap: all-interpsys - cd src/algebra && $(MAKE) $@ - .PHONY: all-gcl all-gcl: $(oa_builddir)/bin/gcl$(EXEEXT) |