macでminisat入らん

$ cd minisat/core
$ gmake rs

Linking: minisat ( /Users/~/Downloads/minisat/core/Main.o /Users/~/Downloads/minisat/core/Solver.o )
Undefined symbols for architecture x86_64:
"Minisat::memUsedPeak()", referenced from:
printStats(Minisat::Solver&) in Main.o
"Minisat::parseOptions(int&, char**, bool)", referenced from:
_main in Main.o
"Minisat::setUsageHelp(char const*)", referenced from:
_main 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: *** [minisat] Error 1

...macでTestしたいのだが、minisat makeできない。
glucose はmakeできたので、フォーマット合わせれば出来るけど。

まわりくどいｗ