=> 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 minisat-2.2.0
Making dependencies
Compiling: simp/Main.o
Compiling: simp/SimpSolver.o
Compiling: utils/Options.o
Compiling: utils/System.o
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/utils/System.or'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/utils/System.od'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/utils/System.op'.
Compiling: core/Solver.o
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/utils/Options.or'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/utils/Options.od'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/utils/Options.op'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/simp/Main.or'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/simp/Main.od'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/simp/Main.op'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/simp/SimpSolver.or'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/simp/SimpSolver.od'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/simp/SimpSolver.op'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/core/Solver.or'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/core/Solver.od'.
/tmp/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/tmp/math/minisat/work/minisat/core/Solver.op'.
Linking: minisat ( simp/Main.o simp/SimpSolver.o utils/Options.o utils/System.o core/Solver.o )