+ 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.5/work.log
+ su pbulk -c '"$@"' make /opt/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/yices2-2.6.5/work.log
=> Checksum BLAKE2s OK for Yices-2.6.5.tar.gz
=> Checksum SHA512 OK for Yices-2.6.5.tar.gz
===> Installing dependencies for yices2-2.6.5
=> Tool dependency gperf-[0-9]*: found gperf-3.2nb1
=> 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.5
===> Extracting for yices2-2.6.5
===> Patching for yices2-2.6.5
===> Creating toolchain wrappers for yices2-2.6.5
===> Configuring for yices2-2.6.5
cd /home/pbulk/build/math/yices2/work/yices2-Yices-2.6.5 && autoconf
configure.ac:905: warning: AC_C_BIGENDIAN should be used with AC_CONFIG_HEADERS
=> 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.2
checking whether gcc accepts option -fno-stack-protector... yes
checking for stdio.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for strings.h... yes
checking for sys/stat.h... yes
checking for sys/types.h... yes
checking for unistd.h... yes
checking whether byte ordering is bigendian... no
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 main in -lm... 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