=> 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 bash-[0-9]*: found bash-5.2.37
=> Tool dependency gmake>=3.81: found gmake-4.4.1
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
=> Full dependency gmp>=5.0.1: found gmp-6.3.0
===> Skipping vulnerability checks.
WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'.
===> 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
===> Creating toolchain wrappers for yices2-2.6.1
===> Configuring for yices2-2.6.1
cd /pbulk/work/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.
checking build system type... x86_64-unknown-netbsd10.0
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... /usr/bin/install -c -o pbulk -g users
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/bin/grep
checking for egrep... (cached) /usr/bin/egrep
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  /usr/pkg/lib  =/usr/lib /usr/local/lib /usr/lib /lib
checking for libgmp.a in /usr/pkg/lib... found
checking whether /usr/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-unknown-netbsd10.0