edits
[satlib.git] / lingeling / build.sh
index fa09dd5..f78a510 100755 (executable)
@@ -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