diff options
Diffstat (limited to 'sci-mathematics/minisat+/files/minisat+-2007.01.05-script.patch')
| -rw-r--r-- | sci-mathematics/minisat+/files/minisat+-2007.01.05-script.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/sci-mathematics/minisat+/files/minisat+-2007.01.05-script.patch b/sci-mathematics/minisat+/files/minisat+-2007.01.05-script.patch deleted file mode 100644 index 38af57bc7..000000000 --- a/sci-mathematics/minisat+/files/minisat+-2007.01.05-script.patch +++ /dev/null @@ -1,17 +0,0 @@ ---- 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 |