Add bash script to extract PRISM version from Java source.

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

prism/src/scripts/printversion.sh

@@ -0,0 +1,36 @@
+#!/bin/sh
+
+# Print the version of PRISM in this directory,
+# based on extraction of the info from Java files.
+# Mirrors what is done (in Java) in prism.getVersion().
+
+# If given, SRC_DIR is assumed to point to the "src" directory
+# in a PRISM source distribution. The default is just "src".
+
+if [ "$SRC_DIR" = "" ]; then
+	SRC_DIR=src;
+fi
+
+if [ -f "$SRC_DIR"/prism/Version.java ]; then
+	VERSION_NUM=`grep versionString "$SRC_DIR"/prism/Version.java | sed -E 's/[^"]+"([^"]+)"[^"]+/\1/'`
+	if [ "$VERSION_NUM" != "" ]; then
+		/bin/echo -n $VERSION_NUM
+
+		VERSION_SUFFIX=`grep versionSuffixString "$SRC_DIR"/prism/Version.java | sed -E 's/[^"]+"([^"]*)"[^"]+/\1/'`
+		if [ "$VERSION_SUFFIX" != "" ]; then
+			/bin/echo -n ".$VERSION_SUFFIX"
+	
+			if [ -f "$SRC_DIR"/prism/Revision.java ]; then
+				REVISION_SVN=`grep svnRevision "$SRC_DIR"/prism/Revision.java | sed -E 's/[^"]+"([^"]*)"[^"]+/\1/'`
+				if [ "$REVISION_SVN" != "" ]; then
+					/bin/echo -n ".$REVISION_SVN"
+				fi
+			fi
+		fi
+		/bin/echo
+	else
+		/bin/echo unknown
+	fi
+else
+	/bin/echo unknown
+fi