Adding support for reading wrong assumptions

[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
-make lingeling || exit 1
+make lingeling incling || exit 1
 install -m 755 -s lingeling ../binary
+install -m 755 -s incling ../binary