diff --git a/scripts/build.sh b/scripts/build.sh index 339e9d11..d5e80581 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -28,6 +28,7 @@ ARCH_VERSION=unknown BUILD_FLAGS= USE_HOST_COMPILER=0 LIBRARIES="${BUILD_DIR}/libraries" +CXX_COMMON_VERSION="v0.1.1" Z3_ARCHIVE=z3- Z3_VERSION=4.7.1 @@ -102,7 +103,7 @@ function GetArchVersion function DownloadCxxCommon { local GITHUB_LIBS="${LIBRARY_VERSION}.tar.xz" - local URL="https://github.com/trailofbits/cxx-common/releases/latest/download/${GITHUB_LIBS}" + local URL="https://github.com/trailofbits/cxx-common/releases/download/${CXX_COMMON_VERSION}/${GITHUB_LIBS}" echo "Fetching: ${URL}" if ! curl -LO "${URL}"; then diff --git a/scripts/build_with_vcpkg.sh b/scripts/build_with_vcpkg.sh index 65d6b23f..21c1af37 100755 --- a/scripts/build_with_vcpkg.sh +++ b/scripts/build_with_vcpkg.sh @@ -28,6 +28,7 @@ LLVM_VERSION=llvm-9 OS_VERSION=unknown ARCH_VERSION=unknown BUILD_FLAGS= +CXX_COMMON_VERSION="v0.1.1" # There are pre-build versions of various libraries for specific # Ubuntu releases. @@ -102,7 +103,7 @@ function GetArchVersion function DownloadVcpkgLibraries { local GITHUB_LIBS="${LIBRARY_VERSION}.tar.xz" - local URL="https://github.com/trailofbits/cxx-common/releases/latest/download/${GITHUB_LIBS}" + local URL="https://github.com/trailofbits/cxx-common/releases/download/${CXX_COMMON_VERSION}/${GITHUB_LIBS}" mkdir -p "${DOWNLOAD_DIR}" pushd "${DOWNLOAD_DIR}" || return 1