?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
modernize autotools usage
[cl-satwrap.git] / backends / minisat / autogen.sh
blobca5ecb01f232badfff7781930dbbe5e16b038759
1 #!/bin/sh
2 libtoolize ||glibtoolize
3 autoreconf -Im4 --install
4
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace