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

@@ -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)