adjusting vdm options

leouk · Nov 4, 2024 · aa290ee · aa290ee
1 parent e593c38
commit aa290ee
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git 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
@@ -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 "$@"