projects
/
satlib.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edits
[satlib.git]
/
lingeling
/
build.sh
diff --git
a/lingeling/build.sh
b/lingeling/build.sh
index fa09dd5a5991570a61b6cba81fd7ab43af8c653a..f78a510fcd8836048ea4106b55de0d5e7b16e43a 100755
(executable)
--- a/
lingeling/build.sh
+++ b/
lingeling/build.sh
@@
-3,5
+3,6
@@
rm -rf binary
mkdir binary
cd code
./configure.sh || exit 1
mkdir binary
cd code
./configure.sh || exit 1
-make lingeling || exit 1
+make lingeling
incling
|| exit 1
install -m 755 -s lingeling ../binary
install -m 755 -s lingeling ../binary
+install -m 755 -s incling ../binary