=> Bootstrap dependency digest>=20211023: found digest-20220214
===> 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'.
===> Building for cadical-2.1.3
/usr/pkg/bin/gmake -C "/tmp/math/cadical/work/cadical-rel-2.1.3/build"
gmake[1]: Entering directory '/tmp/math/cadical/work/cadical-rel-2.1.3/build'
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/analyze.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/arena.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/assume.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/averages.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/backtrack.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/backward.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/bins.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/block.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/ccadical.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/checker.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/clause.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/collect.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/compact.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/condition.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/config.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/constrain.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/contract.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/cover.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/decide.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/decompose.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/deduplicate.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/drattracer.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/elim.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/ema.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/extend.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/external.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/external_propagate.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/file.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/flags.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/flip.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/format.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/frattracer.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/gates.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/idruptracer.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/instantiate.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/internal.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/ipasir.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/lidruptracer.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/limit.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/logging.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/lookahead.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/lratbuilder.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/lratchecker.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/lrattracer.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/lucky.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/message.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/minimize.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/occs.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/options.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/parse.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/phases.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/probe.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/profile.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/proof.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/propagate.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/queue.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/random.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/reap.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/reduce.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/rephase.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/report.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/resources.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/restart.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/restore.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/score.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/shrink.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/signal.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/solution.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/solver.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/stats.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/subsume.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/terminal.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/ternary.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/transred.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/util.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/var.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/veripbtracer.cpp
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
make-build-header.sh: warning: could not determine 'COMPILER' ('CXX')
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/vivify.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/walk.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/watch.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../contrib/craigtracer.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/cadical.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/mobical.cpp
c++ -O2 -W -O -DNDEBUG -I../build -I../src -c ../src/version.cpp
ar rc libcadical.a analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o drattracer.o elim.o ema.o extend.o external.o external_propagate.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o transred.o util.o var.o veripbtracer.o version.o vivify.o walk.o watch.o craigtracer.o
c++ -O2 -W -O -DNDEBUG -I../build -I../src -o cadical cadical.o -L. -lcadical 
c++ -O2 -W -O -DNDEBUG -I../build -I../src -o mobical mobical.o -L. -lcadical
gmake[1]: Leaving directory '/tmp/math/cadical/work/cadical-rel-2.1.3/build'