From a0991166117d89f7a957b57fdcabf1ba353bb8c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Benno=20F=C3=BCnfst=C3=BCck?= Date: Fri, 17 Nov 2023 20:05:14 +0100 Subject: [PATCH] install_cbmc.sh: build from source on non-x86_64 (#2877) CBMC only provides binaries for x86_64, but it runs fine on other arches (like aarch64) Build from source in that case --------- Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com> --- 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 9aefab019110c..a9a4965fdc0ee 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" ]] && [[ $(dpkg --print-architecture) = "amd64" ]] 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 \