projects
/
satlib.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
fa09dd5a5991570a61b6cba81fd7ab43af8c653a
[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