From 079e5dde27f11ab02febe8a40a1fd237ab2463e0 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 17 Apr 2011 22:32:33 +0000
Subject: [PATCH] Small Makefile for building source distributions from
 top-level.

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

diff --git a/Makefile b/Makefile
new file mode 100644
index 00000000..9ec1a84b
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,22 @@
+############################################################
+#  Small makefile for building PRISM source distributions  #
+############################################################
+
+default: none
+
+none:
+	@echo 'Did you want to build PRISM? Do "cd prism" and then "make"'
+
+VERSION=# default value for VERSION is blank to force provision at command-line 
+
+dist_src: dist_check_version
+	mv prism-examples prism/examples
+	mv cudd prism
+	mv prism "prism-$(VERSION)-src"
+	(cd "prism-$(VERSION)-src"; $(MAKE) clean_all )
+	(cd "prism-$(VERSION)-src"; $(MAKE) dist_tidy )
+
+dist_check_version:
+	@if [ "$(VERSION)" = "" ]; then echo "Usage: make dist_src VERSION=XXX"; exit 1; fi
+
+#################################################