sci-mathematics/minisat+/files/minisat+-2007.01.05-script.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

--- a/minisat+_script
+++ b/minisat+_script
@@ -6,12 +6,12 @@
   XDIR=`echo $0 | sed "s%\(.*\)/.*$%\1%"`
 fi
 
-$XDIR/minisat+_64-bit_static -try "$@"
+$XDIR/minisat+_64-bit -try "$@"
 EXIT=$?
 
 if [ $EXIT = 5 ]; then
   echo "c OK -- Running BigNum-version instead..."
-  $XDIR/minisat+_bignum_static* "$@"
+  $XDIR/minisat+_bignum* "$@"
   EXIT=$?
 fi
 exit $EXIT