msoos/cryptominisat — pull request #174 by malb (2014-04-22 19:25:49+00:00)
Title: autotools build system

a simple autotools build system. The only option that is supported is --with-m4ri, but more could be easily added.