Merge branch 'master' into highprecision

nickbattle · Feb 28, 2024 · f42bdad · f42bdad
2 parents 0368c08 + 9349fa1
commit f42bdad
Show file tree

Hide file tree

Showing 7 changed files with 12 additions and 12 deletions.
diff --git a/dbgpc/src/main/scripts/dbgpc.sh b/dbgpc/src/main/scripts/dbgpc.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip version
-MVERSION="4.5.0-SNAPSHOT"
-PVERSION="4.5.0-P-SNAPSHOT"
+MVERSION="4.5.0"
+PVERSION="4.5.0-P"
 
 # The Maven repository directory containing jars
 MAVENREPO=~/.m2/repository/dk/au/ece/vdmj

diff --git a/lsp/src/main/scripts/kate-lsp.sh b/lsp/src/main/scripts/kate-lsp.sh
@@ -11,8 +11,8 @@ function usage()
     exit 1
 }
 
-MVERSION="4.5.0-SNAPSHOT"
-PVERSION="4.5.0-P-SNAPSHOT"
+MVERSION="4.5.0"
+PVERSION="4.5.0-P"
 VERSION=$MVERSION
 
 # The Maven repository directory containing jars

diff --git a/lsp/src/main/scripts/lsp.sh b/lsp/src/main/scripts/lsp.sh
@@ -11,8 +11,8 @@ function usage()
     exit 1
 }
 
-MVERSION="4.5.0-SNAPSHOT"
-PVERSION="4.5.0-P-SNAPSHOT"
+MVERSION="4.5.0"
+PVERSION="4.5.0-P"
 VERSION=$MVERSION
 
 # The Maven repository directory containing jars

diff --git a/packaging/src/main/scripts/vdmj.sh b/packaging/src/main/scripts/vdmj.sh
@@ -4,7 +4,7 @@
 #####################################################################################
 
 # Change this to flip VDMJ version
-VERSION=${VDMJ_VERSION:-4.5.0-P-SNAPSHOT}
+VERSION=${VDMJ_VERSION:-4.5.0-P}
 
 function help()
 {

diff --git a/packaging/src/main/scripts/vsix.sh b/packaging/src/main/scripts/vsix.sh
@@ -16,8 +16,8 @@ then
     usage
 fi
 
-VERSION="4.5.0-P-SNAPSHOT"
-VDMJ="vdmj_hp"
+VERSION="4.5.0-P"
+VDMJ="vdmj"
 
 SELF=$(which "$0")
 DISTRIBUTION=$(dirname "$SELF")

diff --git a/pom.xml b/pom.xml
@@ -15,7 +15,7 @@
         <maven.build.timestamp.format>yyMMdd</maven.build.timestamp.format>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 
-        <revision>4.5.0-P-SNAPSHOT</revision>
+        <revision>4.5.0-P</revision>
         <changelist></changelist>
         <sha1/>
     </properties>

diff --git a/vdmj/src/main/scripts/vdmsl.sh b/vdmj/src/main/scripts/vdmsl.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip VDMJ version
-MVERSION=${VDMJ_VERSION:-4.5.0-SNAPSHOT}
-PVERSION=${VDMJ_PVERSION:-4.5.0-P-SNAPSHOT}
+MVERSION=${VDMJ_VERSION:-4.5.0}
+PVERSION=${VDMJ_PVERSION:-4.5.0-P}
 
 # The Maven repository directory containing VDMJ versions
 MAVENREPO=~/.m2/repository/dk/au/ece/vdmj