From 8930a885badcd738965810c51851cc13f967f803 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 1 Jan 2012 23:54:48 +0000 Subject: [PATCH] Makefile tweak: build local tests, if tests dir is present. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4301 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index f513d243..f4587025 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -366,7 +366,12 @@ make_dirs: fi tests: - cd ~/prism-tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism + @if [ -d tests ]; then \ + cd tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism; \ + fi + @if [ -d ~/prism-tests ]; then \ + cd ~/prism-tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism; \ + fi bin_scripts: $(BIN_TARGETS) @./install.sh silent