update osx version for new z3
@@ -7,8 +7,9 @@ OLD_PWD="${PWD}"
OLD_UMASK="$(umask)"
WORKING="$(mktemp -d)"
VERSION="2018-01-12-450f3c9b459d128135abb5bbd4fa0508fe26bfae"
+OSX_VERSION="10.13.2"
Z3_REPO_URL="https://github.com/batfish/z3"
-Z3_ZIP_URL="${Z3_REPO_URL}/releases/download/z3-${VERSION}/z3-${VERSION}-x64-osx-10.11.6.zip"
+Z3_ZIP_URL="${Z3_REPO_URL}/releases/download/z3-${VERSION}/z3-${VERSION}-x64-osx-${OSX_VERSION}.zip"
Z3_ZIP="$(basename "${Z3_ZIP_URL}")"
Z3_DIR="$(basename "${Z3_ZIP}" .zip)"
set -x
