=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Building for minisat-2.2.0 Making dependencies Compiling: simp/Main.o /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/simp/Main.or'. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/simp/Main.od'. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/simp/Main.op'. Compiling: simp/SimpSolver.o /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 ^ 2 warnings generated. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.or'. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.od'. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/simp/SimpSolver.op'. 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 ^ 1 warning generated. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/utils/Options.or'. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/utils/Options.od'. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/utils/Options.op'. Compiling: utils/System.o /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/utils/System.or'. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/utils/System.od'. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/utils/System.op'. Compiling: core/Solver.o /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/core/Solver.or'. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/core/Solver.od'. /Users/pbulk/build/math/minisat/work/minisat/mtl/template.mk:71: warning: pattern recipe did not update peer target '/Users/pbulk/build/math/minisat/work/minisat/core/Solver.op'. 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: *** [/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-macos-trunk-arm64/math/minisat *** Error code 1 Stop. bmake: stopped in /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/math/minisat