=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-trunk/devel/cbmc", "configure", "BATCH=1", "DEPENDS_TARGET=/nonexistent"] => Checksum BLAKE2s OK for cbmc-6.10.0.tar.gz => Checksum SHA512 OK for cbmc-6.10.0.tar.gz => Checksum BLAKE2s OK for minisat2_2.2.1.orig.tar.gz => Checksum SHA512 OK for minisat2_2.2.1.orig.tar.gz ===> Installing dependencies for cbmc-6.10.0 => Tool dependency cmake>=0: found cmake-4.4.4 => Tool dependency bison>=1.0: found bison-3.8.2nb1 => Tool dependency flex>=2.5.4a: found flex-2.6.4 => Tool dependency git-base-[0-9]*: found git-base-2.56.0 => Tool dependency m4>=1.4: found m4-1.4.21 => Tool dependency gmake>=3.81: found gmake-4.4.1 => Tool dependency perl>=5.0: found perl-5.44.0nb2 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Build dependency flex>=2.5.4a: found flex-2.6.4 ===> Overriding tools for cbmc-6.10.0 ===> Extracting for cbmc-6.10.0 /usr/bin/mkdir -p /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/cmake-pkgsrc-build/minisat2-download/minisat2-download-prefix/src /bin/cp -p /data/distfiles/minisat2_2.2.1.orig.tar.gz /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/cmake-pkgsrc-build/minisat2-download/minisat2-download-prefix/src/ ===> Patching for cbmc-6.10.0 => Applying pkgsrc patches for cbmc-6.10.0 => Verifying /data/jenkins/workspace/pkgsrc-upstream-trunk/devel/cbmc/patches/patch-src_ansi-c_CMakeLists.txt => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-trunk/devel/cbmc/patches/patch-src_ansi-c_CMakeLists.txt Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_ansi-c_CMakeLists.txt,v 1.1 2026/10/17 16:55:46 alnsn Exp $ | |Fix link errors, reported in https://github.com/diffblue/cbmc/issues/9088 | |--- src/ansi-c/CMakeLists.txt.orig 2026-01-01 00:00:00.000000000 +0000 |+++ src/ansi-c/CMakeLists.txt 2026-01-01 00:00:00.000000000 +0000 -------------------------- Patching file src/ansi-c/CMakeLists.txt using Plan A... Hunk #1 succeeded at 144. done => Verifying /data/jenkins/workspace/pkgsrc-upstream-trunk/devel/cbmc/patches/patch-src_ansi-c_library_stdio.c => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-trunk/devel/cbmc/patches/patch-src_ansi-c_library_stdio.c Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_ansi-c_library_stdio.c,v 1.1 2026/10/17 16:55:46 alnsn Exp $ | |Undefine problematic macros. | |--- src/ansi-c/library/stdio.c.orig 2026-04-14 18:24:47.000000000 +0000 |+++ src/ansi-c/library/stdio.c -------------------------- Patching file src/ansi-c/library/stdio.c using Plan A... Hunk #1 succeeded at 7. Hunk #2 succeeded at 373. done ===> Creating toolchain wrappers for cbmc-6.10.0 ===> Configuring for cbmc-6.10.0 => Checking for portability problems in extracted files CMake Warning (deprecated) at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.10 will be removed from a future version of CMake. Update the VERSION argument value. Or, use the ... syntax to tell CMake that the project requires at least but has been updated to work with policies introduced by or earlier. This warning is for project developers. Use -Wno-author or -Wno-deprecated to suppress it. -- Building CBMC version 6.10.0 -- The C compiler identification is GNU 14.3.0 -- The CXX compiler identification is GNU 14.3.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /tmp/work/devel/cbmc/work/.cwrapper/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /tmp/work/devel/cbmc/work/.cwrapper/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found BISON: /tmp/work/devel/cbmc/work/.tools/bin/bison (found version "3.8.2") -- Found FLEX: /tmp/work/devel/cbmc/work/.tools/bin/flex (found version "2.6.4") -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Building solvers with minisat2 -- Downloading/updating minisat2 CMake Warning (deprecated) at CMakeLists.txt:4 (cmake_minimum_required): Compatibility with CMake < 3.10 will be removed from a future version of CMake. Update the VERSION argument value. Or, use the ... syntax to tell CMake that the project requires at least but has been updated to work with policies introduced by or earlier. This warning is for project developers. Use -Wno-author or -Wno-deprecated to suppress it. CMake Warning (author) at /opt/pkg/share/cmake-4.4/Modules/ExternalProject/shared_internal_commands.cmake:1277 (message): The DOWNLOAD_EXTRACT_TIMESTAMP option was not given and policy CMP0135 is not set. The policy's OLD behavior will be used. When using a URL download, the timestamps of extracted files should preferably be that of the time of extraction, otherwise code that depends on the extracted contents might not be rebuilt if the URL changes. The OLD behavior preserves the timestamps from the archive instead, but this is usually not what you want. Update your project to the NEW behavior or specify the DOWNLOAD_EXTRACT_TIMESTAMP option with a value of true to avoid this robustness issue. Call Stack (most recent call first): /opt/pkg/share/cmake-4.4/Modules/ExternalProject.cmake:3283 (_ep_add_download_command) CMakeLists.txt:9 (ExternalProject_Add) This warning is for project developers. Use -Wno-author to suppress it. -- Configuring done (3.0s) -- Generating done (0.0s) -- Build files have been written to: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/cmake-pkgsrc-build/minisat2-download [ 11%] Creating directories for 'minisat2-download' [ 22%] Performing download step (download, verify and extract) for 'minisat2-download' -- verifying file... file='/tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/cmake-pkgsrc-build/minisat2-download/minisat2-download-prefix/src/minisat2_2.2.1.orig.tar.gz' -- File already exists and hash match (skip download): file='/tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/cmake-pkgsrc-build/minisat2-download/minisat2-download-prefix/src/minisat2_2.2.1.orig.tar.gz' MD5='27faa19ee0508660bd6fb7f894646d42' -- extracting... src='/tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/cmake-pkgsrc-build/minisat2-download/minisat2-download-prefix/src/minisat2_2.2.1.orig.tar.gz' dst='/tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/cmake-pkgsrc-build/minisat2-src' -- extracting... [tar xf] -- extracting... [analysis] -- extracting... [rename] -- extracting... [clean up] -- extracting... done [ 33%] No update step for 'minisat2-download' [ 44%] Performing patch step for 'minisat2-download' Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/core/Solver.cc b/minisat/core/Solver.cc |index 501393d..b450b73 100644 |--- a/minisat/core/Solver.cc |+++ b/minisat/core/Solver.cc -------------------------- Patching file minisat/core/Solver.cc using Plan A... Hunk #1 succeeded at 210. Hunk #2 succeeded at 666. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/core/SolverTypes.h b/minisat/core/SolverTypes.h |index 4757b20..c3fae2b 100644 |--- a/minisat/core/SolverTypes.h |+++ b/minisat/core/SolverTypes.h -------------------------- Patching file minisat/core/SolverTypes.h using Plan A... Hunk #1 succeeded at 47. Hunk #2 succeeded at 55. Hunk #3 succeeded at 127. Hunk #4 succeeded at 145. Hunk #5 succeeded at 161. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/mtl/IntTypes.h b/minisat/mtl/IntTypes.h |index c488162..e8e24bd 100644 |--- a/minisat/mtl/IntTypes.h |+++ b/minisat/mtl/IntTypes.h -------------------------- Patching file minisat/mtl/IntTypes.h using Plan A... Hunk #1 succeeded at 31. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/mtl/Vec.h b/minisat/mtl/Vec.h |index b225911..d46e169 100644 |--- a/minisat/mtl/Vec.h |+++ b/minisat/mtl/Vec.h -------------------------- Patching file minisat/mtl/Vec.h using Plan A... Hunk #1 succeeded at 96. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/simp/SimpSolver.cc b/minisat/simp/SimpSolver.cc |index 1d219a3..5ccdb67 100644 |--- a/minisat/simp/SimpSolver.cc |+++ b/minisat/simp/SimpSolver.cc -------------------------- Patching file minisat/simp/SimpSolver.cc using Plan A... Hunk #1 succeeded at 130. Hunk #2 succeeded at 225. Hunk #3 succeeded at 261. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/utils/Options.h b/minisat/utils/Options.h |index 2dba10f..7d2e83a 100644 |--- a/minisat/utils/Options.h |+++ b/minisat/utils/Options.h -------------------------- Patching file minisat/utils/Options.h using Plan A... Hunk #1 succeeded at 60. Hunk #2 succeeded at 282. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/utils/Options.cc b/minisat/utils/Options.cc |index 83c40e8..15bfca1 100644 |--- a/minisat/utils/Options.cc |+++ b/minisat/utils/Options.cc -------------------------- Patching file minisat/utils/Options.cc using Plan A... Hunk #1 succeeded at 43. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/utils/ParseUtils.h b/minisat/utils/ParseUtils.h |index d307164..7b46f09 100644 |--- a/minisat/utils/ParseUtils.h |+++ b/minisat/utils/ParseUtils.h -------------------------- Patching file minisat/utils/ParseUtils.h using Plan A... Hunk #1 succeeded at 24. Hunk #2 succeeded at 35. Hunk #3 succeeded at 43. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/utils/System.h b/minisat/utils/System.h |index 9cbbc51..27b9700 100644 |--- a/minisat/utils/System.h |+++ b/minisat/utils/System.h -------------------------- Patching file minisat/utils/System.h using Plan A... Hunk #1 succeeded at 21. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/mtl/Vec.h b/minisat/mtl/Vec.h |--- a/minisat/mtl/Vec.h |+++ b/minisat/mtl/Vec.h -------------------------- Patching file minisat/mtl/Vec.h using Plan A... Hunk #1 succeeded at 96. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff --git a/minisat/mtl/XAlloc.h b/minisat/mtl/XAlloc.h |--- a/minisat/mtl/XAlloc.h |+++ b/minisat/mtl/XAlloc.h -------------------------- Patching file minisat/mtl/XAlloc.h using Plan A... Hunk #1 succeeded at 21. Hunk #2 succeeded at 32. done [ 55%] No configure step for 'minisat2-download' [ 66%] No build step for 'minisat2-download' [ 77%] No install step for 'minisat2-download' [ 88%] No test step for 'minisat2-download' [100%] Completed 'minisat2-download' [100%] Built target minisat2-download -- Found Git: /tmp/work/devel/cbmc/work/.tools/bin/git (found version "2.56.0") -- Adding tests in directory: cbmc -- Adding tests in directory: cbmc-library -- Adding tests in directory: cprover -- Adding tests in directory: crangler -- Adding tests in directory: goto-analyzer -- Adding tests in directory: goto-instrument -- Adding tests in directory: cpp -- Adding tests in directory: cbmc-concurrency -- Adding tests in directory: cbmc-cover -- Adding tests in directory: cbmc-incr-oneloop -- Adding tests in directory: cbmc-incr -- Adding tests in directory: cbmc-shadow-memory -- Adding tests in directory: cbmc-output-file -- Adding tests in directory: cbmc-with-incr -- Adding tests in directory: array-refinement-with-incr -- Adding tests in directory: goto-instrument-chc -- Adding tests in directory: goto-instrument-json -- Adding tests in directory: goto-instrument-wmm-core -- Adding tests in directory: goto-instrument-typedef -- Adding tests in directory: goto-inspect -- Adding tests in directory: smt2_solver -- Adding tests in directory: smt2_strings -- Adding tests in directory: strings -- Adding tests in directory: invariants -- Adding tests in directory: goto-diff -- Adding tests in directory: test-script -- Adding tests in directory: goto-analyzer-taint -- Adding tests in directory: goto-bmc-symex-ready-goto -- Adding tests in directory: goto-bmc-non-symex-ready-goto -- Adding tests in directory: goto-bmc -- Adding tests in directory: goto-gcc -- Adding tests in directory: goto-cc-cbmc -- Adding tests in directory: cbmc-cpp -- Adding tests in directory: goto-cc-goto-analyzer -- Adding tests in directory: goto-analyzer-simplify -- Adding tests in directory: statement-list -- Adding tests in directory: systemc -- Adding tests in directory: contracts -- Adding tests in directory: contracts-dfcc -- Adding tests in directory: goto-synthesizer -- Adding tests in directory: acceleration -- Adding tests in directory: k-induction -- Adding tests in directory: goto-harness -- Adding tests in directory: goto-harness-multi-file-project -- Adding tests in directory: goto-cc-file-local -- Adding tests in directory: goto-cc-multi-file -- Adding tests in directory: goto-cc-regression-gh-issue-5380 -- Adding tests in directory: linking-goto-binaries -- Adding tests in directory: symtab2gb Skipping solver-hardness tests: couldn't find jq in your path -- Adding tests in directory: goto-ld CMake Warning (policy) at regression/validate-trace-xml-schema/CMakeLists.txt:1 (find_package): Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules are removed. Run "cmake --help-policy CMP0148" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-author or -Wno-policy to suppress it. -- Found PythonInterp: /opt/pkg/bin/python3.13 (found suitable version "3.13.17", minimum required is "3.5") Z3_EXISTS-NOTFOUND -- Adding tests in directory: cbmc-primitives -- Adding tests in directory: goto-interpreter -- Adding tests in directory: cbmc-sequentialization -- Adding tests in directory: cpp-linter -- Adding tests in directory: catch-framework -- Adding tests in directory: model_loading -- Adding tests in directory: book-examples -- Configuring done (14.9s) -- Generating done (1.8s) CMake Warning (unused-cli): Manually-specified variables were not used by the project: FETCHCONTENT_FULLY_DISCONNECTED -- Build files have been written to: /tmp/work/devel/cbmc/work/cbmc-cbmc-6.10.0/cmake-pkgsrc-build