From 0041eb26f602a48e17ac627f9775407e91bd76ab Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Feb 2012 12:50:04 +0000
Subject: [PATCH] Update distr build makefile - ignore local examples/test
 dirs.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4575 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 Makefile | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Makefile b/Makefile
index 5f7df21b..1af9825f 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,13 @@ none:
 VERSION=# default value for VERSION is blank to force provision at command-line 
 
 dist_src: dist_check_version
+	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
 	mv prism-examples prism/examples
 	mv cudd prism
 	mv prism "prism-$(VERSION)-src"