+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/yices2-2.6.1/work.log
+ su pbulk -c '"$@"' make /opt/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/yices2-2.6.1/work.log
=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for Yices-2.6.1.tar.gz
=> Checksum SHA512 OK for Yices-2.6.1.tar.gz
===> Installing dependencies for yices2-2.6.1
=> Tool dependency gperf-[0-9]*: found gperf-3.1
=> Tool dependency mktools-[0-9]*: found mktools-20220614
=> Tool dependency autoconf>=2.50: found autoconf-2.72
=> Tool dependency gmake>=3.81: found gmake-4.4.1
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Full dependency gmp>=5.0.1: found gmp-6.3.0
===> Overriding tools for yices2-2.6.1
===> Extracting for yices2-2.6.1
===> Patching for yices2-2.6.1
=> Applying pkgsrc patches for yices2-2.6.1
=> Verifying /data/jenkins/workspace/pkgsrc-upstream-bulktest/math/yices2/patches/patch-Makefile.build
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-bulktest/math/yices2/patches/patch-Makefile.build
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-Makefile.build,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $
|
|Add NetBSD targets, pull request https://github.com/SRI-CSL/yices2/pull/134
|
|--- Makefile.build.orig	2018-10-26 21:33:09.000000000 +0000
|+++ Makefile.build
--------------------------
Patching file Makefile.build using Plan A...
Hunk #1 succeeded at 213.
Hunk #2 succeeded at 485.
Hunk #3 succeeded at 503.
done
=> Verifying /data/jenkins/workspace/pkgsrc-upstream-bulktest/math/yices2/patches/patch-autoconf_os
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-bulktest/math/yices2/patches/patch-autoconf_os
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-autoconf_os,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $
|
|Add NetBSD, pull request https://github.com/SRI-CSL/yices2/pull/134
|
|--- autoconf/os.orig	2018-10-26 21:33:09.000000000 +0000
|+++ autoconf/os
--------------------------
Patching file autoconf/os using Plan A...
Hunk #1 succeeded at 13.
done
=> Verifying /data/jenkins/workspace/pkgsrc-upstream-bulktest/math/yices2/patches/patch-configure.ac
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-bulktest/math/yices2/patches/patch-configure.ac
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-configure.ac,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $
|
|Fix "=" comparisons, pull request https://github.com/SRI-CSL/yices2/pull/134
|
|--- configure.ac.orig	2018-10-26 21:33:09.000000000 +0000
|+++ configure.ac
--------------------------
Patching file configure.ac using Plan A...
Hunk #1 succeeded at 191.
Hunk #2 succeeded at 203.
Hunk #3 succeeded at 215.
Hunk #4 succeeded at 227.
Hunk #5 succeeded at 257.
Hunk #6 succeeded at 273.
Hunk #7 succeeded at 289.
Hunk #8 succeeded at 305.
Hunk #9 succeeded at 811.
done
=> Verifying /data/jenkins/workspace/pkgsrc-upstream-bulktest/math/yices2/patches/patch-src_Makefile
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-bulktest/math/yices2/patches/patch-src_Makefile
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-src_Makefile,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $
|
|Add NetBSD targets, do not invoke static_libyices_dynamic, pull request https://github.com/SRI-CSL/yices2/pull/134
|
|--- src/Makefile.orig	2018-10-26 21:33:09.000000000 +0000
|+++ src/Makefile
--------------------------
Patching file src/Makefile using Plan A...
Hunk #1 succeeded at 624.
Hunk #2 succeeded at 653.
Hunk #3 succeeded at 1115.
done
=> Verifying /data/jenkins/workspace/pkgsrc-upstream-bulktest/math/yices2/patches/patch-src_utils_bit__tricks.h
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-bulktest/math/yices2/patches/patch-src_utils_bit__tricks.h
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-src_utils_bit__tricks.h,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $
|
|NetBSD has popcount in libc, pull request https://github.com/SRI-CSL/yices2/pull/134
|
|--- src/utils/bit_tricks.h.orig	2018-10-26 21:33:09.000000000 +0000
|+++ src/utils/bit_tricks.h
--------------------------
Patching file src/utils/bit_tricks.h using Plan A...
Hunk #1 succeeded at 55.
Hunk #2 succeeded at 106.
Hunk #3 succeeded at 125.
Hunk #4 succeeded at 150.
Hunk #5 succeeded at 169.
Hunk #6 succeeded at 236.
Hunk #7 succeeded at 260.
done
===> Creating toolchain wrappers for yices2-2.6.1
===> Configuring for yices2-2.6.1
cd /home/pbulk/build/math/yices2/work/yices2-Yices-2.6.1 && autoconf
configure.ac:74: warning: The macro 'AC_PROG_CC_C99' is obsolete.
configure.ac:74: You should run autoupdate.
./lib/autoconf/c.m4:1662: AC_PROG_CC_C99 is expanded from...
configure.ac:74: the top level
=> Modifying GNU configure scripts to avoid --recheck
=> Replacing config-guess with pkgsrc versions
=> Replacing config-sub with pkgsrc versions
=> Replacing install-sh with pkgsrc version
=> Replacing bash interpreter in tests/regress/check.sh.
INFO: [replace-interpreter] Nothing changed in tests/regress/check.sh.
=> Checking for portability problems in extracted files
checking build system type... x86_64-pc-solaris2.11
checking whether make sets $(MAKE)... yes
checking for a sed that does not truncate output... /usr/bin/sed
checking whether ln -s works... yes
checking for a race-free mkdir -p... mkdir -p
checking for a BSD-compatible install... /opt/pkg/bin/bsdinstall -c -o pbulk -g pbulk
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking for ranlib... ranlib
checking for grep that handles long lines and -e... (cached) /usr/xpg4/bin/grep
checking for egrep... (cached) /usr/xpg4/bin/grep -E
checking for ld... ld
checking for ar... ar
checking for strip... strip
checking for gperf... gperf
checking gperf version... 3.1
checking whether gcc accepts option -fno-stack-protector... yes
configure: Trying to find a usable libgmp.a
configure: Searching in  /opt/pkg/lib   /usr/local/lib /usr/lib /lib
checking for libgmp.a in /opt/pkg/lib... found
checking whether /opt/pkg/lib/libgmp.a is usable... yes
checking for __gmpz_cmp in -lgmp... yes
configure: creating ./config.status
config.status: creating make.include
configure: Moving make.include to configs/make.include.x86_64-pc-solaris2.11