Apply patch to cadical so that it compiles with gcc-11

Author: zhassan-aws

scripts/cadical-1.4.1-patch

@@ -0,0 +1,12 @@
+diff --git a/src/lookahead.cpp b/src/lookahead.cpp
+index 9e8a16b..3d5721a 100644
+--- a/src/lookahead.cpp
++++ b/src/lookahead.cpp
+@@ -390,6 +390,7 @@ int Internal::lookahead_probing() {
+ CubesWithStatus Internal::generate_cubes(int depth, int min_depth) {
+   if (!active() || depth == 0) {
+     CubesWithStatus cubes;
++    cubes.status = 0;
+     cubes.cubes.push_back(std::vector<int>());
+     return cubes;
+   }

src/Makefile

@@ -177,6 +177,7 @@ cadical-download:
 	@$(TAR) xfz $(cadical_release).tar.gz
 	@rm -Rf ../cadical
 	@mv cadical-$(cadical_release) ../cadical
+	@(cd ../cadical; patch -p1 < ../scripts/cadical-1.4.1-patch)
 	@(cd ../cadical && ./configure)
   # Need to rename VERSION so that it isn't picked up by `#include<version>` on
   # macOS which is case insensitive

src/solvers/CMakeLists.txt

@@ -111,7 +111,7 @@ foreach(SOLVER ${sat_impl})
 
         download_project(PROJ cadical
             URL https://github.com/arminbiere/cadical/archive/rel-1.4.1.tar.gz
-            PATCH_COMMAND true
+            PATCH_COMMAND patch -p1 -i ${CBMC_SOURCE_DIR}/../scripts/cadical-1.4.1-patch
             COMMAND cmake -E copy ${CBMC_SOURCE_DIR}/../scripts/cadical_CMakeLists.txt CMakeLists.txt
             COMMAND ./configure
             URL_MD5 b44874501a175106424f4bd5de29aa59