add backend for zchaff
[satlib.git] / lingeling / build.sh
1 #!/bin/sh
2 rm -rf binary
3 mkdir binary
4 cd code
5 ./configure.sh || exit 1
6 make lingeling || exit 1
7 install -m 755 -s lingeling ../binary