Moved to 4.5.0 on master

nickbattle · Feb 28, 2024 · 9349fa1 · 9349fa1
1 parent 8080748
commit 9349fa1
Show file tree

Hide file tree

Showing 7 changed files with 11 additions and 11 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-SNAPSHOT}
+VERSION=${VDMJ_VERSION:-4.5.0}
 
 function help()
 {

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

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-SNAPSHOT</revision>
+        <revision>4.5.0</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