From aa290eeeb858d6aed01784d4973039f7c3ca7f5e Mon Sep 17 00:00:00 2001
From: Leo Freitas <Leo.Freitas@newcastle.ac.uk>
Date: Mon, 4 Nov 2024 12:00:37 +0000
Subject: [PATCH] adjusting vdm options

---
 pom.xml         | 2 +-
 scripts/vdmj.sh | 5 +++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/pom.xml b/pom.xml
index 169fd220..eac0b734 100644
--- a/pom.xml
+++ b/pom.xml
@@ -20,7 +20,7 @@
 	    <changelist></changelist>
         <sha1/>
 		<!-- VDMJ version, which percolates to all dependent POMs -->	
-		<dk.au.ece.vdmj-version>4.6.0</dk.au.ece.vdmj-version>
+		<dk.au.ece.vdmj-version>4.7.0-SNAPSHOT</dk.au.ece.vdmj-version>
 		
 	</properties>
 
diff --git a/scripts/vdmj.sh b/scripts/vdmj.sh
index 5e73fa58..cbb64ed8 100755
--- a/scripts/vdmj.sh
+++ b/scripts/vdmj.sh
@@ -6,8 +6,8 @@
 #####################################################################################
 
 # Change these to flip VDMJ version
-MVERSION=${VDMJ_VERSION:-4.6.0-SNAPSHOT}
-PVERSION=${VDMJ_PVERSION:-4.6.0-P-SNAPSHOT}
+MVERSION=${VDMJ_VERSION:-4.7.0-SNAPSHOT}
+PVERSION=${VDMJ_PVERSION:-4.7.0-P-SNAPSHOT}
 
 # The Maven repository directory containing VDMJ versions
 MAVENREPO=~/.m2/repository/dk/au/ece/vdmj
@@ -173,6 +173,7 @@ if which rlwrap >/dev/null 2>&1
 then
 	# Keep rlwrap output in a separate folder
 	export RLWRAP_HOME=~/.vdmj
+	echo exec rlwrap "$JAVA64" $VMOPTS -cp $CLASSPATH $MAIN -$DIALECT $VDMJOPTS
 	exec rlwrap "$JAVA64" $VMOPTS -cp $CLASSPATH $MAIN -$DIALECT $VDMJOPTS "$@"
 else
 	exec "$JAVA64" $VMOPTS -cp $CLASSPATH $MAIN -$DIALECT $VDMJOPTS "$@"