V0.8.44

OpenJML · Apr 13, 2020 · 89de7f7 · 89de7f7
1 parent ca363e3
commit 89de7f7
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 7 deletions.
diff --git a/OpenJML/buildRelease.sh b/OpenJML/buildRelease.sh
@@ -38,8 +38,9 @@ RB=releaseBuilds
 DATE=`date +%Y%m%d`
 BRANCH=`git rev-parse --abbrev-ref HEAD`
 ##BRANCH=`git branch | grep '*' | sed 's/* //'`
-echo Branch = ${BRANCH}, Date = ${DATE}
-if [ "${BRANCH}" = "master" ]; then VERSION=$DATE ; else VERSION=${BRANCH}-${DATE}; fi
+NUM=`cat ../OpenJMLFeature/feature.xml | grep version | grep -v xml | head -1 | sed -e 's/      version=//' -e 's/\"//g'`
+echo Branch = ${BRANCH}, VersionNumber = ${NUM}, Date = ${DATE}
+if [ "${BRANCH}" = "master" ]; then VERSION=${NUM}-$DATE ; else VERSION=${BRANCH}-${DATE}; fi
 
 NAME=openjml-${VERSION}.zip
 

diff --git a/OpenJMLFeature/feature.xml b/OpenJMLFeature/feature.xml
@@ -2,7 +2,7 @@
 <feature
       id="org.jmlspecs.openjml.OpenJMLFeature"
       label="OpenJML"
-      version="0.8.43"
+      version="0.8.44"
       provider-name="David R. Cok">
 
    <description url="http://jmlspecs.sourceforge.net">
@@ -33,21 +33,21 @@ https://sourceforge.net/projects/jmlspecs/
          id="org.jmlspecs.annotation"
          download-size="0"
          install-size="0"
-         version="0.8.43"
+         version="0.8.44"
          unpack="false"/>
 
    <plugin
          id="org.jmlspecs.OpenJMLUI"
          download-size="0"
          install-size="0"
-         version="0.8.43"
+         version="0.8.44"
          unpack="false"/>
 
    <plugin
          id="org.jmlspecs.Specs"
          download-size="0"
          install-size="0"
-         version="0.8.43"
+         version="0.8.44"
          unpack="false"/>
 
 </feature>
diff --git a/OpenJMLUI/META-INF/MANIFEST.MF b/OpenJMLUI/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: OpenJMLUI
 Bundle-SymbolicName: org.jmlspecs.OpenJMLUI;singleton:=true
-Bundle-Version: 0.8.43
+Bundle-Version: 0.8.44
 Bundle-ClassPath: bin/,
  jmlruntime.jar,
  jSMTLIB.jar,