From d8c06edca8b156e4950af00a31c33b50cf9aaa14 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 25 Jan 2012 14:49:56 +0000 Subject: [PATCH] Makefile tweak re tests target (from prism-games). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4485 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 82c708a2..accc60f8 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -367,12 +367,16 @@ make_dirs: tests: testslocal @if [ -d ~/prism-tests ]; then \ - cd ~/prism-tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism; \ + cd ~/prism-tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=$(PWD)/bin/prism; \ + else \ + echo "Skipping tests"; \ fi testslocal: @if [ -d tests ]; then \ - cd tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism; \ + cd tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=$(PWD)/bin/prism; \ + else \ + echo "Skipping local tests"; \ fi bin_scripts: $(BIN_TARGETS)