[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