[arch-commits] Commit in cryptominisat5/trunk (PKGBUILD)

[Antonio Rojas]

    Date: Saturday, April 17, 2021 @ 08:19:37
  Author: arojas
Revision: 919616

Update dependencies (FS#70481), enable m4ri to match sagemath

Modified:
  cryptominisat5/trunk/PKGBUILD

----------+
 PKGBUILD |   15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-04-17 07:27:24 UTC (rev 919615)
+++ PKGBUILD	2021-04-17 08:19:37 UTC (rev 919616)
@@ -5,13 +5,13 @@
 
 pkgname=cryptominisat5
 pkgver=5.8.0
-pkgrel=4
+pkgrel=5
 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/"
 url="https://github.com/msoos/cryptominisat/"
 license=('MIT')
-depends=('zlib' 'gcc-libs' 'boost-libs' 'tbb')
+depends=('zlib' 'gcc-libs' 'boost-libs' 'sqlite' 'm4ri')
 makedepends=('python' 'boost' 'cmake' 'vim' 'help2man')
 # vim for xxd
 optdepends=('python: python module')
@@ -19,7 +19,7 @@
 md5sums=('05bdde77aa78c983849437e93b39bd6a')
 
 # many fancy features requiring makedeps
-# intel-tbb, python3, m4ri, libmysqlclient, valgrind
+# python3, m4ri, valgrind
 
 prepare() {
   cd cryptominisat-$pkgver
@@ -31,10 +31,11 @@
   mkdir -p build
   cd build
   # options to play with:
-  # -DUSE_TBB -DUSE_ZLIB -DUSE_MYSQL
-  # NOMYSQL NOSTATS NOM4RI ENABLE_TESTING
-  cmake -DCMAKE_INSTALL_PREFIX:PATH=/usr \
-      -DNOM4RI=on -DNOMYSQL=on ../
+  # -DUSE_ZLIB -DNOM4RI -DNOBOSPHORUS -DNOVALGRIND -DNOBREAKID -DENABLE_PYTHON_INTERFACE
+  # -DEMSCRIPTEN -DFEEDBACKFUZZ -DLARGEMEM -DEXTFEAT -DSANITIZE -DMIT -DENABLE_ASSERTIONS
+  # -DUSE_GAUSS -DONLY_SIMPLE -DENABLE_TESTING -DCOVERAGE -DIPASIR -DMANPAGE
+  # -DSTATS -DWEIGHTED_SAMPLING -DFINAL_PREDICTOR -DFINAL_PREDICTOR_BRANCH
+  cmake -DCMAKE_INSTALL_PREFIX:PATH=/usr ..
   make
 
   cd pycryptosat