>>> Building on sparc64-0d under devel/cbmc BDEPENDS = [devel/gmake;lang/gcc/8;lang/gcc/8,-c++;lang/gcc/8,-libs;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 RDEPENDS = [lang/gcc/8,-libs] Woken up devel/cln Woken up devel/cln Woken up textproc/aspell/dicts/tn Woken up textproc/aspell/dicts/tn Woken up textproc/aspell/dicts/tn Woken up textproc/aspell/dicts/tn Woken up textproc/aspell/dicts/tn (Junk lock failure for sparc64-0d at 1754284514.89295) Received IO (Junk lock obtained for sparc64-0d at 1754284549.05) Received IO Woken up devel/cbmc Woken up devel/cbmc Woken up devel/cbmc Woken up devel/cbmc Woken up devel/cbmc Woken up devel/cbmc Woken up devel/cbmc Short-cut: depends already handled by textproc/aspell/dicts/tn >>> Running show-prepare-results in devel/cbmc at 1754284555.32 ===> 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: gcc->=8,<9 -> gcc-8.4.0p28 ===> cbmc-6.7.1 depends on: g++->=8,<9 -> g++-8.4.0p28 ===> cbmc-6.7.1 depends on: gmake-* -> gmake-4.4.1p0 ===> cbmc-6.7.1 depends on: gcc-libs->=8,<9 -> gcc-libs-8.4.0p28 ===> Verifying specs: c m estdc++>=19 pthread ===> found c.101.0 m.10.1 estdc++.19.0 pthread.28.0 bison-3.8.2p0 g++-8.4.0p28 gcc-8.4.0p28 gcc-libs-8.4.0p28 gmake-4.4.1p0 (Junk lock released for sparc64-0d at 1754284561.80) Woken up textproc/aspell/dicts/fo distfiles size=9199736 >>> Running patch in devel/cbmc at 1754284561.90 ===> devel/cbmc ===> Checking files for cbmc-6.7.1 `/usr/ports/distfiles/cbmc-cbmc-6.7.1.tar.gz' is up to date. `/usr/ports/distfiles/minisat2_2.2.1.orig.tar.gz' is up to date. >> (SHA256) all files: OK ===> Extracting for cbmc-6.7.1 mv /usr/obj/ports/cbmc-6.7.1/minisat2-2.2.1 /usr/obj/ports/cbmc-6.7.1/cbmc-cbmc-6.7.1/minisat-2.2.1 cd /usr/obj/ports/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: gcc -> /usr/local/bin/egcc ===> Compiler link: cc -> /usr/local/bin/egcc ===> Compiler link: c++ -> /usr/local/bin/eg++ ===> Compiler link: g++ -> /usr/local/bin/eg++ >>> Running configure in devel/cbmc at 1754284589.36 ===> devel/cbmc ===> Generating configure for cbmc-6.7.1 ===> Configuring for cbmc-6.7.1 >>> Running build in devel/cbmc at 1754284590.64 ===> devel/cbmc ===> Building for cbmc-6.7.1 ## Entering big-int gmake -C big-int gmake[1]: Entering directory '/usr/obj/ports/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-sparc elf32-sparc a.out-sunos-big 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 '/usr/obj/ports/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 (/usr/ports/infrastructure/mk/bsd.port.mk:3069 '/usr/obj/ports/cbmc-6.7.1/.build_done': @cd /usr/obj/ports/cbmc-6....) *** Error 2 in devel/cbmc (/usr/ports/infrastructure/mk/bsd.port.mk:2712 'build': @lock=cbmc-6.7.1; export _LOCKS_HELD=" cbmc-6.7.1"; /us...) ===> Exiting devel/cbmc with an error *** Error 1 in /usr/ports (infrastructure/mk/bsd.port.subdir.mk:144 'build': @: ${echo_msg:=echo}; : ${target:=build}; for i in ; do eval...) >>> Ended at 1754284601.05 max_stuck=19.21/waiting-for-lock #118=40.45/show-prepare-results=6.56/patch=27.44/configure=1.31/build=10.48 Error: job failed with 512 on sparc64-0d at 1754284601