=> Bootstrap dependency digest>=20010302: found digest-20190127
===> Skipping vulnerability checks.
WARNING: No /opt/pkg/pkgdb/pkg-vulnerabilities file found.
WARNING: To fix run: `/opt/pkg/sbin/pkg_admin -K /opt/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
/opt/work/math/minisat/work/minisat/utils/Options.cc:48:17: warning: add explicit braces to avoid dangling else [-Wdangling-else]
                else
                ^
/opt/work/math/minisat/work/minisat/simp/SimpSolver.cc:232:21: warning: add explicit braces to avoid dangling else [-Wdangling-else]
                    else
                    ^
/opt/work/math/minisat/work/minisat/simp/SimpSolver.cc:266:21: warning: add explicit braces to avoid dangling else [-Wdangling-else]
                    else
                    ^
1 warning generated.
2 warnings generated.
Linking: minisat ( simp/Main.o simp/SimpSolver.o utils/Options.o utils/System.o core/Solver.o )
Undefined symbols for architecture arm64:
  "Minisat::memUsedPeak()", referenced from:
      printStats(Minisat::Solver&) in Main.o
ld: symbol(s) not found for architecture arm64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
gmake: *** [/opt/work/math/minisat/work/minisat/mtl/template.mk:77: minisat] Error 1
*** Error code 2

Stop.
bmake[1]: stopped in /opt/pkgsrc/math/minisat
*** Error code 1

Stop.
bmake: stopped in /opt/pkgsrc/math/minisat