From 6d7769c12c589213190b152e7d74cd843c667b29 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 4 Jul 2011 22:09:41 +0000 Subject: [PATCH] Added "tests" target to main Makefile which runs all regression tests (if installed locally). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3198 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index 25d7410f..d4bc8786 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -293,7 +293,7 @@ ifeq ($(OSTYPE),darwin) BIN_TARGETS=$(BIN_PRISM) $(BIN_XPRISM) endif -.PHONY: clean javadoc +.PHONY: clean javadoc tests default: all @@ -357,6 +357,9 @@ make_dirs: for lib in `ls *$(LIBSUFFIX)`; do ln -fs $$lib `echo $$lib | sed s/$(LIBSUFFIX)/.jnilib/`; done;); \ fi +tests: + cd ~/prism-tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism + bin_scripts: $(BIN_TARGETS) @./install.sh silent