From c143d3870743ff3399f47996019c32f479ab70de Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 23 Sep 2015 10:14:29 +0000 Subject: [PATCH] Makefil fix: Pass location of ngprism for tests/testslocal targets. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10728 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index bbe29d57..8674009e 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -402,14 +402,14 @@ make_dirs: tests: testslocal @if [ -d ~/prism/prism-tests ]; then \ - cd ~/prism/prism-tests && $(PWD)/etc/scripts/prism-auto -t -m . -p $(PWD)/bin/prism --nailgun; \ + cd ~/prism/prism-tests && $(PWD)/etc/scripts/prism-auto -t -m . -p $(PWD)/bin/prism --nailgun --ngprism $(PWD)/bin/ngprism; \ else \ echo "Skipping tests"; \ fi testslocal: @if [ -d tests ]; then \ - cd tests && $(PWD)/etc/scripts/prism-auto -t -m . -p $(PWD)/bin/prism --nailgun; \ + cd tests && $(PWD)/etc/scripts/prism-auto -t -m . -p $(PWD)/bin/prism --nailgun --ngprism $(PWD)/bin/ngprism; \ else \ echo "Skipping local tests"; \ fi