diff --git a/trunk/PKGBUILD b/trunk/PKGBUILD index 1380616..55fbeb0 100644 --- a/trunk/PKGBUILD +++ b/trunk/PKGBUILD @@ -11,7 +11,7 @@ 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') makedepends=('python' 'boost' 'cmake' 'vim' 'help2man') # vim for xxd optdepends=('python: python module') @@ -19,7 +19,7 @@ source=("cms5-$pkgver.tgz::https://github.com/msoos/cryptominisat/archive/$pkgve md5sums=('05bdde77aa78c983849437e93b39bd6a') # many fancy features requiring makedeps -# intel-tbb, python3, m4ri, libmysqlclient, valgrind +# python3, m4ri, valgrind prepare() { cd cryptominisat-$pkgver @@ -31,10 +31,12 @@ build() { mkdir -p build cd build # options to play with: - # -DUSE_TBB -DUSE_ZLIB -DUSE_MYSQL - # NOMYSQL NOSTATS NOM4RI ENABLE_TESTING + # -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 \ - -DNOM4RI=on -DNOMYSQL=on ../ + -DNOM4RI=on ../ make cd pycryptosat