Bump version to 0.2.0

bin/package-standalone.sh

@@ -8,16 +8,18 @@
 # ====
 set -e
 
+STAINLESS_VERSION="0.2.0"
 SCALA_VERSION="2.12"
+Z3_VERSION="4.7.1"
 
 SBT_PACKAGE="sbt stainless-scalac-standalone/assembly"
-STAINLESS_JAR_PATH="./frontends/stainless-scalac-standalone/target/scala-$SCALA_VERSION/stainless-scalac-standalone-0.1.0.jar"
+STAINLESS_JAR_PATH="./frontends/stainless-scalac-standalone/target/scala-$SCALA_VERSION/stainless-scalac-standalone-$STAINLESS_VERSION.jar"
 SCALAZ3_JAR_LINUX_PATH="./unmanaged/scalaz3-unix-64-$SCALA_VERSION.jar"
 SCALAZ3_JAR_OSX_PATH="./unmanaged/scalaz3-mac-64-$SCALA_VERSION.jar"
 
-Z3_GITHUB_URL="https://github.com/Z3Prover/z3/releases/download/z3-4.6.0"
-Z3_LINUX_NAME="z3-4.6.0-x64-ubuntu-16.04.zip"
-Z3_OSX_NAME="z3-4.6.0-x64-osx-10.11.6.zip"
+Z3_GITHUB_URL="https://github.com/Z3Prover/z3/releases/download/z3-$Z3_VERSION"
+Z3_LINUX_NAME="z3-$Z3_VERSION-x64-ubuntu-16.04.zip"
+Z3_OSX_NAME="z3-$Z3_VERSION-x64-osx-10.11.6.zip"
 
 LOG="./package-standalone.log"
 

build.sbt

@@ -1,7 +1,7 @@
 import sbt.ScriptedPlugin
 
 enablePlugins(GitVersioning)
-git.baseVersion in ThisBuild := "0.1.0"
+git.baseVersion in ThisBuild := "0.2.0"
 git.formattedShaVersion in ThisBuild := git.gitHeadCommit.value map { sha => s"${git.baseVersion.value}-${sha}" }
 
 val osInf = Option(System.getProperty("os.name")).getOrElse("")