?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Autotools setup for minisat
[cl-satwrap.git] / backends / minisat / autogen.sh
blob7168bc5d2d3cd4b76dd387d672cc2bdbf7c078a3
1 #!/bin/sh
2 aclocal -Im4
3 autoconf
4 automake --add-missing
5
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace