[arch-commits] Commit in cryptominisat5/trunk (PKGBUILD)
Kyle Keen
kkeen at archlinux.org
Wed Oct 3 00:02:27 UTC 2018
Date: Wednesday, October 3, 2018 @ 00:02:22
Author: kkeen
Revision: 389102
upgpkg: cryptominisat5 5.6.5-1
Modified:
cryptominisat5/trunk/PKGBUILD
----------+
PKGBUILD | 20 ++++++++++----------
1 file changed, 10 insertions(+), 10 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2018-10-02 22:05:38 UTC (rev 389101)
+++ PKGBUILD 2018-10-03 00:02:22 UTC (rev 389102)
@@ -4,8 +4,8 @@
# need to hack up the pythonpath and get the tests to run
pkgname=cryptominisat5
-pkgver=5.6.3
-pkgrel=2
+pkgver=5.6.5
+pkgrel=1
pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver"
arch=('x86_64')
#url="https://www.msoos.org/2016/07/cryptominisat-5-0-0-released/"
@@ -16,7 +16,7 @@
# vim for xxd
optdepends=('python2: python module')
source=("cms5-$pkgver.tgz::https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz")
-md5sums=('13b9abbbf1ac51921a327e5bfde6d5f1')
+md5sums=('da3c44c7750842db4bd42c17f74387f4')
# many fancy features requiring makedeps
# intel-tbb, python2, m4ri, libmysqlclient, valgrind
@@ -44,14 +44,14 @@
}
check() {
+ _TESTPATH="$PYTHONPATH:$srcdir/cryptominisat-$pkgver/build/pycryptosat"
+ cd "$srcdir/cryptominisat-$pkgver/build/pycryptosat"
+ ln -sf pycryptosat.so libcryptominisat5.so.5.6
+ PYTHONPATH=$_TESTPATH python2 -c "from pycryptosat import Solver"
return
- python2 -c "from pycryptosat import Solver"
- return
- cd "$srcdir/cryptominisat-$pkgver/build/pycryptosat"
- ln -s pycryptosat.so libcryptominisat5.so.5.6
- cd "$srcdir/cryptominisat-$pkgver/python"
- ln -s "$srcdir/cryptominisat-$pkgver/build/pycryptosat/pycryptosat.so" libcryptominisat5.so.5.6
- PYTHONPATH=$PYTHONPATH:$srcdir/cryptominisat-$pkgver/build/pycryptosat python2 test_pycryptosat.py
+ cd "$srcdir/cryptominisat-$pkgver/python/tests"
+ ln -sf "$srcdir/cryptominisat-$pkgver/build/pycryptosat/pycryptosat.so" libcryptominisat5.so.5.6
+ PYTHONPATH=$_TESTPATH python2 test_pycryptosat.py
}
package() {
More information about the arch-commits
mailing list