=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Building for minisat-2.2.0
Making dependencies
Compiling: simp/Main.o
Compiling: simp/SimpSolver.o
Compiling: utils/Options.o
/Users/pbulk/build/math/minisat/work/minisat/utils/Options.cc:48:17: warning: add explicit braces to avoid dangling else [-Wdangling-else]
                else
                ^
/Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.cc:232:21: warning: add explicit braces to avoid dangling else [-Wdangling-else]
                    else
                    ^
/Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.cc:266:21: warning: add explicit braces to avoid dangling else [-Wdangling-else]
                    else
                    ^
1 warning generated.
Compiling: utils/System.o
Compiling: core/Solver.o
2 warnings generated.
Linking: minisat ( simp/Main.o simp/SimpSolver.o utils/Options.o utils/System.o core/Solver.o )
Undefined symbols for architecture x86_64:
  "Minisat::memUsedPeak()", referenced from:
      printStats(Minisat::Solver&) in Main.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
gmake: *** [/Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:77: minisat] Error 1
*** Error code 2

Stop.
bmake[1]: stopped in /Volumes/data/jenkins/workspace/pkgsrc-macos11-trunk-x86_64/math/minisat
*** Error code 1

Stop.
bmake: stopped in /Volumes/data/jenkins/workspace/pkgsrc-macos11-trunk-x86_64/math/minisat