X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=lingeling%2Fbuild.sh;h=f78a510fcd8836048ea4106b55de0d5e7b16e43a;hb=6ff4089b818e675fc426e41808b955ad0790faf2;hp=fa09dd5a5991570a61b6cba81fd7ab43af8c653a;hpb=3f0fa250ecf4199909bc99ec80d0417f5e6fcdcf;p=satlib.git

diff --git a/lingeling/build.sh b/lingeling/build.sh
index fa09dd5..f78a510 100755
--- 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