diff --git a/Makefile b/Makefile index 19c84b29be2016f550f6e4e587a6b3256e73f289..4a0a8b786f98680793b33ed2420d5ce6baa7ba66 100644 --- a/Makefile +++ b/Makefile @@ -41,7 +41,7 @@ all: $(methods) helper: $(MAKE) -C src/helper_files -.PHONY: methods +.PHONY: $(methods) $(methods): helper $(MAKE) -C src/methods/$@ @@ -57,5 +57,5 @@ $(clean_methods): clean: clean_helper $(clean_methods) .PHONY: test -test: methods +test: $(methods) $(sicstus) -l test_all.pl --goal "run_tests, halt ; halt(1)."