On Sun, Mar 22, 2026 at 11:01:03PM +0900, Yozo TODA wrote: > (I sent the same message to ports@ only around February 8th, > but it was dropped, maybe my ISP's mailserver was treated as rogue. > now trying to send this again.)
> I don't have sparc64 platform to test the build, but... It doesn't change anything. It still tries to use the same ar which doesn't work. The version of GNU ar in base is apparently just too old to support either the "T" or the "--thin" options. Switching the compiler doesn't change the version of ar available. --Kurt > > Bulk build on sparc64-0a.ports.openbsd.org > > > > Started : Mon Mar 16 16:28:54 MDT 2026 > > Finished: Sun Mar 22 03:25:15 MDT 2026 > > Duration: 5 Days 10 hours 56 minutes > > > > Built using OpenBSD 7.9-beta (GENERIC.MP) #109: Mon Mar 16 00:06:27 MDT 2026 > ........ > > Build failures: 105 > ........ > > https://cranky.work/sparc64/2026-03-16/devel/cbmc.log > ........ > > cbmc.log indicates that the building process is invoking GNU ar as "ar rcT > ..." > and error. > > > 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 [<mri-script] > > the combination "rcT" means that the configuration assumes llvm-ar. > GNU ar doesn't know the modifier "T", instead we should use "--thin". > > ar rc --thin ... > > Or, because llvm-19 package is available on sparc64, > COMPILER should be revised to include ports-clang ? > > (the current Makefile has this) > > COMPILER = base-clang ports-gcc > > revising to > > COMPILER = base-clang ports-clang > > > here is the relevant part from cbmc.log: > > > >>> Building on sparc64-0b under devel/cbmc > BDEPENDS = > [lang/gcc/15,-libs;lang/gcc/15;devel/bison;devel/gmake;lang/gcc/15,-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/15,-libs] > ........ > ===> devel/cbmc > ===> Building from scratch cbmc-6.7.1 > ........ > ===> 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 [<mri-script] > ........ > 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:3063 > '/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:2706 > '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 1773744781.61 > max_stuck=8.69/patch=33.24/configure=1.26/build=15.68 > Error: job failed with 512 on sparc64-0b at 1773744781 > > > -- yozo.
