=> Bootstrap dependency digest>=20211023: found digest-20220214
=> 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.3
=> Tool dependency mktools-[0-9]*: found mktools-20250213
=> Tool dependency autoconf>=2.50: found autoconf-2.73
=> Tool dependency bash-[0-9]*: found bash-5.3.15
=> 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.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 /pbulk/work/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.
checking build system type... i386-unknown-netbsdelf11.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 C23 features... unsupported
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.3
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  /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 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.i386-unknown-netbsdelf11.0