niklasso/minisat — pull request #4 by surma (2012-04-15 23:27:46+00:00)
Title: Fix Makefile for Mac OS X

Apple does not allow static linking. Don't ask my why, it’s ridiculously idiotic, but still: It makes `minisat` not link.
Also, `-soname` is called `-install_name` under Mac OS X.