From e2a209bcb847803e8a5abb20ef7002b109ed0bf6 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 12 Aug 2024 23:27:29 +0200 Subject: [PATCH] Actually apply CBMC patch (#3436) The patch introduced in #3431 not only needs to be created, but also needs to be applied. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --- scripts/setup/al2/install_cbmc.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/setup/al2/install_cbmc.sh b/scripts/setup/al2/install_cbmc.sh index de4b5215e083..3bac22ace3db 100755 --- a/scripts/setup/al2/install_cbmc.sh +++ b/scripts/setup/al2/install_cbmc.sh @@ -93,6 +93,7 @@ cat > varargs.patch << "EOF" } EOF +patch -p1 < varargs.patch cmake3 -S . -Bbuild -DWITH_JBMC=OFF -Dsat_impl="minisat2;cadical" \ -DCMAKE_C_COMPILER=gcc10-cc -DCMAKE_CXX_COMPILER=gcc10-c++ \