From 002ca98c78003544f3a22b4f4b3ae5c3d19471cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Benno=20F=C3=BCnfst=C3=BCck?= Date: Tue, 14 Nov 2023 15:22:04 +0100 Subject: [PATCH] install_cbmc.sh: build from source on non-x86_64 CBMC only provides binaries for x86_64, but it runs fine on other arches (like aarch64) Build from source in that case --- scripts/setup/ubuntu/install_cbmc.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/setup/ubuntu/install_cbmc.sh b/scripts/setup/ubuntu/install_cbmc.sh index 9aefab019110..08b6dffde951 100755 --- a/scripts/setup/ubuntu/install_cbmc.sh +++ b/scripts/setup/ubuntu/install_cbmc.sh @@ -15,7 +15,7 @@ fi UBUNTU_VERSION=$(lsb_release -rs) MAJOR=${UBUNTU_VERSION%.*} -if [[ "${MAJOR}" -gt "18" ]] +if [[ "${MAJOR}" -gt "18" ]] && [[ $(uname -m) = "x86_64" ]] then FILE="ubuntu-${UBUNTU_VERSION}-cbmc-${CBMC_VERSION}-Linux.deb" URL="https://github.com/diffblue/cbmc/releases/download/cbmc-${CBMC_VERSION}/$FILE" @@ -29,7 +29,7 @@ then exit 0 fi -# Binaries are no longer released for 18.04, so build from source +# There are no binaries for 18.04 or for non-x86_64, so build from source WORK_DIR=$(mktemp -d) git clone \