cbmc: allow fetching while configure

till diffblue/cbmc#6582 is resolved.
Additionally disable building tests

Closes #8679

Signed-off-by: Konrad Weihmann <[email protected]>

Author: priv-kweihmann

recipes-sca/cbmc-native/cbmc-native_5.48.0.bb

@@ -10,10 +10,15 @@ DEPENDS += "\
             ninja-native \
            "
 
-SRC_URI = "git://github.com/diffblue/cbmc.git;protocol=https;branch=develop \
-           file://0001-diable-goto-gcc-regression-tests.patch"
+MINISAT_VERSION = "2.2.1"
+
+SRC_URI = "\
+    git://github.com/diffblue/cbmc.git;protocol=https;branch=develop \
+    file://0001-diable-goto-gcc-regression-tests.patch \
+"
 
 SRCREV = "b79bd515ca20259287602abd68d5a32c276dbdd9"
+SRC_URI[minisat2.sha256sum] = "e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40"
 
 UPSTREAM_CHECK_GITTAGREGEX = "cbmc-(?P<pver>[\d\.a-f]+)"
 
@@ -25,9 +30,17 @@ inherit native
 
 SCA_TOOL_DESCRIPTION = "cbmc"
 
-EXTRA_OECMAKE += "-DWITH_JBMC=OFF -DWITH_MEMORY_ANALYZER=ON"
+EXTRA_OECMAKE += "\
+    -DWITH_JBMC=OFF \
+    -DWITH_MEMORY_ANALYZER=ON \
+    -Denable_cbmc_tests=OFF \
+    -Dsat_impl=minisat2 \
+"
 CXXFLAGS += "-Wno-error=maybe-uninitialized"
 
+# See https://github.com/diffblue/cbmc/issues/6582
+do_configure[network] = "1"
+
 do_install() {
     install -d ${D}${datadir}
     install -d ${D}${bindir}