Add Makefile target add_rev to build prism/Revision.java.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6677 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/Makefile

@@ -385,6 +385,14 @@ bin_scripts:
 # extract version number from Java code using printversion
 VERSION = $(shell SRC_DIR=$(SRC_DIR) $(SRC_DIR)/scripts/printversion.sh 2> /dev/null)
 
+# Grab svn revision number from svnversion, if possible
+REVISION = $(shell svnversion 2> /dev/null)
+
+# Add Revision.java with current svn revision
+add_rev:
+	@echo "Creating $(SRC_DIR)/prism/Revision.java (REVISION = $(REVISION))"
+	echo 'package prism;\npublic class Revision\n{\n\tpublic static String svnRevision = "$(REVISION)";\n}' > $(SRC_DIR)/prism/Revision.java
+
 dist_src: dist_check_version dist_copy clean_all dist_tidy
 
 dist_bin: JFLAGS += -source 1.6 -target 1.6