diff --git a/dbgpc/src/main/scripts/dbgpc.sh b/dbgpc/src/main/scripts/dbgpc.sh index 25a8be8fc..a395f44b6 100755 --- 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 index 3ec53742c..2896e31c3 100755 --- 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 index ed6a98b70..c2b6f67a6 100755 --- 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 index d9e1cde90..fb57f8d55 100755 --- 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 index 3365f252c..a06e23c80 100755 --- 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 index a288b8f88..ff76bca7a 100644 --- a/pom.xml +++ b/pom.xml @@ -15,7 +15,7 @@ yyMMdd UTF-8 - 4.5.0-P-SNAPSHOT + 4.5.0-P diff --git a/vdmj/src/main/scripts/vdmsl.sh b/vdmj/src/main/scripts/vdmsl.sh index 44c2dc593..b31490033 100755 --- 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