From 77b9ba6b21bea9cdd7d0377d48cf6c941eb73505 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 9 Apr 2013 12:25:26 +0000 Subject: [PATCH] Makefile file: add Revision.java when building src distribution. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6681 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 88b5c21b..1faee930 100644 --- a/Makefile +++ b/Makefile @@ -12,7 +12,7 @@ none: VERSION = $(shell SRC_DIR=prism/src prism/src/scripts/printversion.sh 2> /dev/null) # Build a source distribution -dist_src: version +dist_src: add_rev version mkdir dontcopy @if [ -e prism/examples ]; then \ echo "mv prism/examples dontcopy"; mv prism/examples dontcopy; \ @@ -26,6 +26,10 @@ dist_src: version (cd "prism-$(VERSION)-src"; $(MAKE) dist_src VERSION=$(VERSION)) tar cfz "prism-$(VERSION)-src.tar.gz" --exclude=.svn "prism-$(VERSION)-src" +# Get svn revision (only works if done before dist_src) +add_rev: + (cd "prism"; $(MAKE) add_rev) + # Display version version: @echo VERSION = $(VERSION)