Actually apply CBMC patch (#3436)

tautschnig · web-flow · commit e2a209bcb847 · 2024-08-12T21:27:29.000Z
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.
diff --git 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++ \

Original file line number	Diff line number	Diff line change
`@@ -93,6 +93,7 @@ cat > varargs.patch << "EOF"`
`93`	`93`	`}`
`94`	`94`
`95`	`95`	`EOF`
	`96`	`+patch -p1 < varargs.patch`
`96`	`97`
`97`	`98`	`cmake3 -S . -Bbuild -DWITH_JBMC=OFF -Dsat_impl="minisat2;cadical" \`
`98`	`99`	`-DCMAKE_C_COMPILER=gcc10-cc -DCMAKE_CXX_COMPILER=gcc10-c++ \`