>>> Building on octeon-1 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 octeon-1 at 1752864542.66) >>> Running depends in devel/cbmc at 1752864542.73 /usr/sbin/pkg_add -aI -Drepair bison-3.8.2 gmake-4.4.1 was: /usr/sbin/pkg_add -aI -Drepair bison-3.8.2 gmake-4.4.1 /usr/sbin/pkg_add -aI -Drepair bison-3.8.2 gmake-4.4.1 >>> Running show-prepare-results in devel/cbmc at 1752864546.40 ===> devel/cbmc ===> Building from scratch cbmc-6.7.1 ===> cbmc-6.7.1 depends on: bison-* -> bison-3.8.2 ===> cbmc-6.7.1 depends on: gmake-* -> gmake-4.4.1 ===> Verifying specs: c m c++ c++abi pthread ===> found c.101.0 m.10.1 c++.11.0 c++abi.8.0 pthread.28.0 bison-3.8.2 gmake-4.4.1 (Junk lock released for octeon-1 at 1752864549.89) Woken up sysutils/nnn,nerd distfiles size=9199736 >>> Running patch in devel/cbmc at 1752864549.97 ===> 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 1752864591.55 ===> devel/cbmc ===> Generating configure for cbmc-6.7.1 ===> Configuring for cbmc-6.7.1 >>> Running build in devel/cbmc at 1752864592.86 ===> 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]: Leaving directory '/pobj/cbmc-6.7.1/cbmc-cbmc-6.7.1/src/big-int' gmake[1]: *** [makefile:10: big-int.a] Error 1 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 1752864607.82 max_stuck=24.73/depends=3.68/show-prepare-results=3.54/patch=41.59/configure=1.31/build=15.02 Error: job failed with 512 on octeon-1 at 1752864607 >>> Building on octeon-2 under devel/cbmc BDEPENDS = [devel/gmake;devel/bison] DIST = [devel/cbmc:minisat2_2.2.1.orig.tar.gz;devel/cbmc:cbmc-cbmc-6.7.1.tar.gz] FULLPKGNAME = cbmc-6.7.1 (Junk lock obtained for octeon-2 at 1753255575.14) >>> Running depends in devel/cbmc at 1753255575.20 last junk was in sysutils/sysmon /usr/sbin/pkg_add -aI -Drepair bison-3.8.2 was: /usr/sbin/pkg_add -aI -Drepair bison-3.8.2 gmake-4.4.1 /usr/sbin/pkg_add -aI -Drepair bison-3.8.2 >>> Running show-prepare-results in devel/cbmc at 1753255585.44 ===> devel/cbmc ===> Building from scratch cbmc-6.7.1 ===> cbmc-6.7.1 depends on: bison-* -> bison-3.8.2 ===> cbmc-6.7.1 depends on: gmake-* -> gmake-4.4.1 ===> Verifying specs: c m c++ c++abi pthread ===> found c.101.0 m.10.1 c++.11.0 c++abi.8.0 pthread.28.0 bison-3.8.2 gmake-4.4.1 Still tainted: host marked nojunk by net/gtk-gnutella >>> Running junk in devel/cbmc at 1753255590.36 Can't run junk because of lock on net/gtk-gnutella (Junk lock released for octeon-2 at 1753255597.26) distfiles size=9199736 >>> Running patch in devel/cbmc at 1753255597.33 ===> 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 1753255634.91 ===> devel/cbmc ===> Generating configure for cbmc-6.7.1 ===> Configuring for cbmc-6.7.1 >>> Running build in devel/cbmc at 1753255636.21 ===> 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]: Leaving directory '/pobj/cbmc-6.7.1/cbmc-cbmc-6.7.1/src/big-int' gmake[1]: *** [makefile:10: big-int.a] Error 1 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 1753255651.10 max_stuck=16.50/depends=10.25/show-prepare-results=4.34/junk=6.98/patch=37.58/configure=1.31/build=14.94 Error: job failed with 512 on octeon-2 at 1753255651