From 4c88a8185cfb12ed4dfc42ca1c78a23197388772 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 22 Sep 2015 09:45:01 +0000 Subject: [PATCH] Generalise parent directory Makefile to allow easier building from PRISM extensions such as PRISM-games. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10694 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- Makefile | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 82852d08..ac8eb9dc 100644 --- a/Makefile +++ b/Makefile @@ -26,7 +26,18 @@ do_build: @if [ -e prism/tests ]; then \ echo "mv prism/tests dontcopy"; mv prism/tests dontcopy; \ fi - mv prism-examples prism/examples + mkdir dontcopy + @if [ -e prism/examples ]; then \ + echo "mv prism/examples dontcopy"; mv prism/examples dontcopy; \ + fi + @if [ -e prism/tests ]; then \ + echo "mv prism/tests dontcopy"; mv prism/tests dontcopy; \ + fi + @if [ -e prism/examples-distr ]; then \ + echo "mv prism/examples-distr prism/examples"; mv prism/examples-distr prism/examples; \ + else \ + echo "mv prism-examples prism/examples"; mv prism-examples prism/examples; \ + fi mv cudd prism mv prism "prism-$(VERSION)-src" (cd "prism-$(VERSION)-src"; $(MAKE) dist_src VERSION=$(VERSION))