increase version number

.bintray_descriptor.json

@@ -13,7 +13,7 @@
     },
 
     "version": {
-        "name": "0.3.6",
+        "name": "0.3.7",
         "desc": "HermitCore's Rust-based kernel as libOS",
         "gpgSign": false
     },

.travis.yml

@@ -17,7 +17,7 @@ script:
 - docker run -ti -v ${TRAVIS_BUILD_DIR}:/work:rw ${OS_TYPE}:${OS_VERSION} /bin/bash -c "cd /work; ./tests.sh ${OS_TYPE} ${OS_NAME}"
 before_deploy:
 - cd ${TRAVIS_BUILD_DIR}
-- dpkg-deb -b tmp libhermit-rs-0.3.6-all.deb
+- dpkg-deb -b tmp libhermit-rs-0.3.7-all.deb
 deploy:
   provider: bintray
   on:

CMakeLists.txt

@@ -81,7 +81,7 @@ set(CPACK_SYSTEM_NAME all)
 
 set(CPACK_PACKAGE_VERSION_MAJOR 0)
 set(CPACK_PACKAGE_VERSION_MINOR 3)
-set(CPACK_PACKAGE_VERSION_PATCH 6)
+set(CPACK_PACKAGE_VERSION_PATCH 7)
 
 set(CPACK_PACKAGE_CONTACT "Stefan Lankes <slankes@eonerc.rwth-aachen.de>")
 

cmake/HermitCore-Configuration.cmake

-set(PACKAGE_VERSION "0.3.6" CACHE STRING
+set(PACKAGE_VERSION "0.3.7" CACHE STRING
 	"HermitCore current version")
 
 set(MAX_ISLE "8" CACHE STRING

librs/Cargo.toml

 [package]
 name = "hermit-rs"
-version = "0.3.5"
+version = "0.3.7"
 authors = [
 	"Stefan Lankes <slankes@eonerc.rwth-aachen.de>",
 	"Colin Finck <colin.finck@rwth-aachen.de>"

tests.sh

@@ -26,7 +26,7 @@ make -j1 package || exit 1
 
 cd ..
 mkdir -p tmp
-dpkg-deb -R build/libhermit-rs-0.3.6-all.deb tmp || exit 1
+dpkg-deb -R build/libhermit-rs-0.3.7-all.deb tmp || exit 1
 rm -rf build/*.deb build/_CPack_Packages
 
 TDIR=/work/build/local_prefix/opt/hermit/x86_64-hermit/extra