=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for cadical-2.1.3.tar.gz
=> Checksum SHA512 OK for cadical-2.1.3.tar.gz
===> Installing dependencies for cadical-2.1.3
=> Tool dependency mktools-[0-9]*: found mktools-20250213
=> 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
===> 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 cadical-2.1.3
===> Extracting for cadical-2.1.3
===> Patching for cadical-2.1.3
===> Creating toolchain wrappers for cadical-2.1.3
===> Configuring for cadical-2.1.3
=> Checking for portability problems in extracted files
configure: making default 'build' directory
configure: building in default '/tmp/math/cadical/work/cadical-rel-2.1.3/build'
configure: root directory '/tmp/math/cadical/work/cadical-rel-2.1.3'
configure: source directory '/tmp/math/cadical/work/cadical-rel-2.1.3/src'
configure: compiler supports all required C99/C++11 extensions
configure: compiler configuration supports flexible array members
configure: unlocked IO with '{putc,getc}_unlocked' seems to work
configure: 'closefrom' seems to be working
configure: compiling with 'c++ -O2 -W -O -DNDEBUG'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/tmp/math/cadical/work/cadical-rel-2.1.3/build/makefile'
configure: linking '/tmp/math/cadical/work/cadical-rel-2.1.3/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'