>>> Building on localhost under devel/cbmc BDEPENDS = [devel/gmake;devel/bison] DIST = [devel/cbmc:cbmc-cbmc-6.7.1.tar.gz;devel/cbmc:minisat2_2.2.1.orig.tar.gz] FULLPKGNAME = cbmc-6.7.1 (Junk lock obtained for localhost at 1755430797.88) >>> Running depends in devel/cbmc at 1755430797.96 last junk was in devel/p5-Parse-Method-Signatures /usr/sbin/pkg_add -aI -Drepair bison-3.8.2p0 was: /usr/sbin/pkg_add -aI -Drepair bison-3.8.2p0 gmake-4.4.1p0 /usr/sbin/pkg_add -aI -Drepair bison-3.8.2p0 >>> Running show-prepare-results in devel/cbmc at 1755430820.07 ===> devel/cbmc ===> Building from scratch cbmc-6.7.1 ===> cbmc-6.7.1 depends on: bison-* -> bison-3.8.2p0 ===> cbmc-6.7.1 depends on: gmake-* -> gmake-4.4.1p0 ===> Verifying specs: c m c++ c++abi pthread ===> found c.102.0 m.10.1 c++.11.0 c++abi.8.0 pthread.28.0 bison-3.8.2p0 gmake-4.4.1p0 Still tainted: host marked nojunk by devel/py-thrift >>> Running junk in devel/cbmc at 1755430825.63 Can't run junk because of lock on devel/py-thrift (Junk lock released for localhost at 1755430831.88) distfiles size=9199736 >>> Running patch in devel/cbmc at 1755430832.02 ===> devel/cbmc ===> Checking files for cbmc-6.7.1 `/ports/distfiles/cbmc-cbmc-6.7.1.tar.gz' is up to date. `/ports/distfiles/minisat2_2.2.1.orig.tar.gz' is up to date. >> (SHA256) all files: OK ===> Extracting for cbmc-6.7.1 mv /pobj/cbmc-6.7.1/minisat2-2.2.1 /pobj/cbmc-6.7.1/cbmc-cbmc-6.7.1/minisat-2.2.1 cd /pobj/cbmc-6.7.1/cbmc-cbmc-6.7.1/minisat-2.2.1; patch -z .bak -p1 < ../scripts/minisat-2.2.1-patch 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 ===> Patching for cbmc-6.7.1 ===> Applying OpenBSD patch patch-src_common Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Index: src/common |--- src/common.orig |+++ src/common -------------------------- Patching file src/common using Plan A... Hunk #1 succeeded at 68. done ===> Compiler link: clang -> /usr/bin/clang ===> Compiler link: clang++ -> /usr/bin/clang++ ===> Compiler link: cc -> /usr/bin/cc ===> Compiler link: c++ -> /usr/bin/c++ >>> Running configure in devel/cbmc at 1755430889.78 ===> devel/cbmc ===> Generating configure for cbmc-6.7.1 ===> Configuring for cbmc-6.7.1 >>> Running build in devel/cbmc at 1755430890.85 ===> devel/cbmc ===> Building for cbmc-6.7.1 ## Entering big-int gmake -C big-int gmake[1]: Entering directory '/pobj/cbmc-6.7.1/cbmc-cbmc-6.7.1/src/big-int' c++ -c -MMD -MP -std=c++17 -DHAVE_MINISAT2 -Wall -O2 -pipe -o bigint-func.o bigint-func.cc c++ -c -MMD -MP -std=c++17 -DHAVE_MINISAT2 -Wall -O2 -pipe -o bigint.o bigint.cc ar rcT big-int.a bigint-func.o bigint.o ar: illegal option -- T Usage: ar [emulation options] [-]{dmpqrstx}[abcfilNoPsSuvV] [member-name] [count] archive-file file... ar -M [ - read options from emulation options: No emulation specific options ar: supported targets: elf64-tradbigmips elf32-ntradlittlemips elf32-ntradbigmips elf32-tradlittlemips elf32-tradbigmips elf64-tradlittlemips ecoff-bigmips ecoff-littlemips elf64-little elf64-big elf32-little elf32-big srec symbolsrec tekhex binary ihex netbsd-core gmake[1]: *** [makefile:10: big-int.a] Error 1 gmake[1]: Leaving directory '/pobj/cbmc-6.7.1/cbmc-cbmc-6.7.1/src/big-int' gmake: *** [Makefile:133: big-int.dir] Error 2 *** Error 2 in devel/cbmc (/ports/infrastructure/mk/bsd.port.mk:3069 '/pobj/cbmc-6.7.1/.build_done': @cd /pobj/cbmc-6.7.1/cbmc-cbmc-6.7.1/sr...) *** Error 2 in devel/cbmc (/ports/infrastructure/mk/bsd.port.mk:2712 'build': @lock=cbmc-6.7.1; export _LOCKS_HELD=" cbmc-6.7.1"; /usr/bi...) ===> Exiting devel/cbmc with an error *** Error 1 in /ports (infrastructure/mk/bsd.port.subdir.mk:144 'build': @: ${echo_msg:=echo}; : ${target:=build}; for i in ; do eval ${e...) >>> Ended at 1755430905.60 max_stuck=36.60/depends=22.08/show-prepare-results=5.37/junk=6.34/patch=57.80/configure=1.06/build=14.81 Error: job failed with 512 on localhost at 1755430905