From c47365999da8195c10e344d1ac9408419066698d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 9 Apr 2013 12:00:48 +0000 Subject: [PATCH] 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 | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/prism/Makefile b/prism/Makefile index c92f07e0..6d897ef5 100644 --- a/prism/Makefile +++ b/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