>>> Building on sparc64-0c under devel/cbmc BDEPENDS = [lang/gcc/8,-libs;devel/bison;lang/gcc/8,-c++;lang/gcc/8;devel/gmake] DIST = [devel/cbmc:minisat2_2.2.1.orig.tar.gz;devel/cbmc:cbmc-cbmc-6.7.1.tar.gz] FULLPKGNAME = cbmc-6.7.1 RDEPENDS = [lang/gcc/8,-libs] Woken up emulators/mednafen Woken up emulators/mednafen Woken up emulators/mednafen Woken up emulators/mednafen (Junk lock failure for sparc64-0c at 1753255263.67102) Received IO (Junk lock obtained for sparc64-0c at 1753255307.30) Received IO Woken up devel/cbmc Short-cut: depends already handled by emulators/mednafen >>> Running show-prepare-results in devel/cbmc at 1753255314.45 ===> 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-0c at 1753255320.23) Woken up textproc/aspell/dicts/lt distfiles size=9199736 >>> Running patch in devel/cbmc at 1753255320.34 ===> 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 1753255345.07 ===> devel/cbmc ===> Generating configure for cbmc-6.7.1 ===> Configuring for cbmc-6.7.1 >>> Running build in devel/cbmc at 1753255346.31 ===> 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 1753255357.17 max_stuck=15.19/waiting-for-lock #112=50.78/show-prepare-results=5.90/patch=24.74/configure=1.24/build=10.94 Error: job failed with 512 on sparc64-0c at 1753255357 >>> Building on sparc64-2b under devel/cbmc BDEPENDS = [lang/gcc/8,-libs;devel/bison;lang/gcc/8;devel/gmake;lang/gcc/8,-c++] 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] (Junk lock failure for sparc64-2b at 1753672737.30801) Received IO (Junk lock obtained for sparc64-2b at 1753672754.45) Received IO Woken up devel/cbmc >>> Running depends in devel/cbmc at 1753672759.16 /usr/sbin/pkg_add -aI -Drepair ImageMagick-6.9.13.26p0 aarch64-none-elf-gcc-12.2.0p2 autoconf-2.71p0 autoconf-archive-2023.02.20 automake-1.16.5p0 bison-3.8.2p0 docbook-xsl-1.79.1p0 dtc-1.7.0 fluidsynth-2.4.4 gcr-3.41.2 gettext-tools-0.23.1 glib2-2.84.3 gmake-4.4.1p0 libiconv-1.17 libogg-1.3.6 libsamplerate-0.2.2p0 libtool-2.4.2p3 libvorbis-1.3.7 meson-1.8.2v0 metaauto-1.0p4 png-1.6.49p0 sdl2-2.32.6 xz-5.8.1 zopfli-1.0.3 was: /usr/sbin/pkg_add -aI -Drepair bison-3.8.2p0 g++-8.4.0p28 gcc-8.4.0p28 gcc-libs-8.4.0p28 gmake-4.4.1p0 /usr/sbin/pkg_add -aI -Drepair ImageMagick-6.9.13.26p0 aarch64-none-elf-gcc-12.2.0p2 autoconf-2.71p0 autoconf-archive-2023.02.20 automake-1.16.5p0 bison-3.8.2p0 docbook-xsl-1.79.1p0 dtc-1.7.0 fluidsynth-2.4.4 gcr-3.41.2 gettext-tools-0.23.1 glib2-2.84.3 gmake-4.4.1p0 libiconv-1.17 libogg-1.3.6 libsamplerate-0.2.2p0 libtool-2.4.2p3 libvorbis-1.3.7 meson-1.8.2v0 metaauto-1.0p4 png-1.6.49p0 sdl2-2.32.6 xz-5.8.1 zopfli-1.0.3 >>> Running show-prepare-results in devel/cbmc at 1753672781.29 ===> 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 Still tainted: host marked nojunk by devel/py-test-mock >>> Running junk in devel/cbmc at 1753672785.70 Can't run junk because of lock on devel/py-test-mock (Junk lock released for sparc64-2b at 1753672791.89) Woken up games/exult distfiles size=9199736 >>> Running patch in devel/cbmc at 1753672792.00 ===> 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 1753672812.86 ===> devel/cbmc ===> Generating configure for cbmc-6.7.1 ===> Configuring for cbmc-6.7.1 >>> Running build in devel/cbmc at 1753672813.80 ===> 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 1753672821.13 max_stuck=12.98/waiting-for-lock #39=21.84/depends=22.09/show-prepare-results=4.30/junk=6.28/patch=20.87/configure=0.94/build=7.43 Error: job failed with 512 on sparc64-2b at 1753672821