diff --git a/.circleci/osx_install_dependencies.sh b/.circleci/osx_install_dependencies.sh index 0505aa6db..6b8b990c3 100755 --- a/.circleci/osx_install_dependencies.sh +++ b/.circleci/osx_install_dependencies.sh @@ -48,23 +48,28 @@ then ./scripts/install_obsolete_jsoncpp_1_7_4.sh # z3 - z3_version="z3-4.8.12" - osx_version="osx-10.15.7" - wget "https://github.com/Z3Prover/z3/releases/download/$z3_version/$z3_version-x64-$osx_version.zip" - unzip "$z3_version-x64-$osx_version.zip" - rm -f "$z3_version-x64-$osx_version.zip" - cp "$z3_version-x64-$osx_version/bin/libz3.a" /usr/local/lib - cp "$z3_version-x64-$osx_version/bin/z3" /usr/local/bin - cp "$z3_version-x64-$osx_version"/include/* /usr/local/include - rm -rf "$z3_version-x64-$osx_version" + z3_version="4.8.12" + z3_dir="z3-${z3_version}-x64-osx-10.15.7" + z3_package="${z3_dir}.zip" + wget "https://github.com/Z3Prover/z3/releases/download/z3-${z3_version}/${z3_package}" + unzip "$z3_package" + rm -f "$z3_package" + cp "${z3_dir}/bin/libz3.a" /usr/local/lib + cp "${z3_dir}/bin/z3" /usr/local/bin + cp "${z3_dir}/include/"* /usr/local/include + rm -rf "$z3_dir" # evmone - wget https://github.com/ethereum/evmone/releases/download/v0.8.0/evmone-0.8.0-darwin-x86_64.tar.gz - tar xzpf evmone-0.8.0-darwin-x86_64.tar.gz -C /usr/local - rm -f evmone-0.8.0-darwin-x86_64.tar.gz + evmone_version="0.8.0" + evmone_package="evmone-${evmone_version}-darwin-x86_64.tar.gz" + wget "https://github.com/ethereum/evmone/releases/download/v${evmone_version}/${evmone_package}" + tar xzpf "$evmone_package" -C /usr/local + rm -f "$evmone_package" # hera - wget https://github.com/ewasm/hera/releases/download/v0.5.0/hera-0.5.0-darwin-x86_64.tar.gz - tar xzpf hera-0.5.0-darwin-x86_64.tar.gz -C /usr/local - rm -f hera-0.5.0-darwin-x86_64.tar.gz + hera_version="0.5.0" + hera_package="hera-${hera_version}-darwin-x86_64.tar.gz" + wget "https://github.com/ewasm/hera/releases/download/v${hera_version}/${hera_package}" + tar xzpf "$hera_package" -C /usr/local + rm -f "$hera_package" fi diff --git a/scripts/create_source_tarball.sh b/scripts/create_source_tarball.sh index df5c2967e..3ba18cf87 100755 --- a/scripts/create_source_tarball.sh +++ b/scripts/create_source_tarball.sh @@ -31,7 +31,9 @@ REPO_ROOT="$(dirname "$0")"/.. fi # Add dependencies mkdir -p "$SOLDIR/deps/downloads/" 2>/dev/null || true - wget -O "$SOLDIR/deps/downloads/jsoncpp-1.9.3.tar.gz" https://github.com/open-source-parsers/jsoncpp/archive/1.9.3.tar.gz + jsoncpp_version="1.9.3" + jsoncpp_package_path="$SOLDIR/deps/downloads/jsoncpp-${jsoncpp_version}.tar.gz" + wget -O "$jsoncpp_package_path" "https://github.com/open-source-parsers/jsoncpp/archive/${jsoncpp_version}.tar.gz" mkdir -p "$REPO_ROOT/upload" tar --owner 0 --group 0 -czf "$REPO_ROOT/upload/solidity_$versionstring.tar.gz" -C "$TEMPDIR" "solidity_$versionstring" rm -r "$TEMPDIR" diff --git a/scripts/install_obsolete_jsoncpp_1_7_4.sh b/scripts/install_obsolete_jsoncpp_1_7_4.sh index eb617e651..f4ac76006 100755 --- a/scripts/install_obsolete_jsoncpp_1_7_4.sh +++ b/scripts/install_obsolete_jsoncpp_1_7_4.sh @@ -4,9 +4,11 @@ set -eu TEMPDIR=$(mktemp -d) ( cd "$TEMPDIR" - wget https://github.com/open-source-parsers/jsoncpp/archive/1.7.4.tar.gz - tar xvzf "1.7.4.tar.gz" - cd "jsoncpp-1.7.4" + jsoncpp_version="1.7.4" + jsoncpp_package="jsoncpp-${jsoncpp_version}.tar.gz" + wget -O "$jsoncpp_package" https://github.com/open-source-parsers/jsoncpp/archive/${jsoncpp_version}.tar.gz + tar xvzf "$jsoncpp_package" + cd "jsoncpp-${jsoncpp_version}" mkdir -p build cd build cmake -DARCHIVE_INSTALL_DIR=. -G "Unix Makefiles" ..