[arch-commits] Commit in cryptominisat5/trunk (PKGBUILD)
Kyle Keen
kkeen at archlinux.org
Wed Jun 13 22:42:19 UTC 2018
Date: Wednesday, June 13, 2018 @ 22:42:18
Author: kkeen
Revision: 342947
upgpkg: cryptominisat5 5.6.3-1
Modified:
cryptominisat5/trunk/PKGBUILD
----------+
PKGBUILD | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2018-06-13 21:34:08 UTC (rev 342946)
+++ PKGBUILD 2018-06-13 22:42:18 UTC (rev 342947)
@@ -5,8 +5,8 @@
# need to hack up the pythonpath and get the tests to run
pkgname=cryptominisat5
-pkgver=5.0.1
-pkgrel=5
+pkgver=5.6.3
+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/"
@@ -17,7 +17,7 @@
# vim for xxd
optdepends=('python2: python module')
source=("cms5-$pkgver.tgz::https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz")
-md5sums=('45203be947368de75b44cf734cbac1d7')
+md5sums=('13b9abbbf1ac51921a327e5bfde6d5f1')
# many fancy features requiring makedeps
# intel-tbb, python2, m4ri, libmysqlclient, valgrind
@@ -49,15 +49,15 @@
python2 -c "from pycryptosat import Solver"
return
cd "$srcdir/cryptominisat-$pkgver/build/pycryptosat"
- ln -s pycryptosat.so libcryptominisat5.so.5.0
+ 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.0
+ ln -s "$srcdir/cryptominisat-$pkgver/build/pycryptosat/pycryptosat.so" libcryptominisat5.so.5.6
PYTHONPATH=$PYTHONPATH:$srcdir/cryptominisat-$pkgver/build/pycryptosat python2 test_pycryptosat.py
}
package() {
cd cryptominisat-$pkgver
- install -Dm644 LICENSE-SCALMC "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
+ install -Dm644 LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
cd build
make install DESTDIR="$pkgdir"
# todo, tweak the build tools to respect DESTDIR
More information about the arch-commits
mailing list