=> Bootstrap dependency digest>=20211023: found digest-20211023
===> 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
Compiling: core/Solver.o
Linking: minisat ( simp/Main.o simp/SimpSolver.o utils/Options.o utils/System.o core/Solver.o )