Date: Tuesday, January 15, 2019 @ 07:57:45 Author: foutrelis Revision: 423181
archrelease: copy trunk to community-staging-x86_64 Added: cryptominisat5/repos/community-staging-x86_64/ cryptominisat5/repos/community-staging-x86_64/PKGBUILD (from rev 423180, cryptominisat5/trunk/PKGBUILD) ----------+ PKGBUILD | 66 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) Copied: cryptominisat5/repos/community-staging-x86_64/PKGBUILD (from rev 423180, cryptominisat5/trunk/PKGBUILD) =================================================================== --- community-staging-x86_64/PKGBUILD (rev 0) +++ community-staging-x86_64/PKGBUILD 2019-01-15 07:57:45 UTC (rev 423181) @@ -0,0 +1,66 @@ +# Maintainer: Kyle Keen <keen...@gmail.com> + +# cms2 had a manpage, where did it go? +# need to hack up the pythonpath and get the tests to run + +pkgname=cryptominisat5 +pkgver=5.6.6 +pkgrel=2 +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' 'intel-tbb') +makedepends=('python2' 'boost' 'cmake' 'vim') +# vim for xxd +optdepends=('python2: python module') +source=("cms5-$pkgver.tgz::https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz") +md5sums=('cce64bfd256700e96baee90b7bdfe770') + +# many fancy features requiring makedeps +# intel-tbb, python2, m4ri, libmysqlclient, valgrind + +# todo, upstream python3 support + +prepare() { + cd cryptominisat-$pkgver + sed -i 's/python$/python2/' python/Makefile + sed -i 's/\(CRYPTOMINISAT4_EXECUTABLE\).*/\1 cryptominisat5\)/' *.cmake.in +} + +build() { + cd cryptominisat-$pkgver + 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 ../ + make + cd pycryptosat + python2 setup.py build +} + +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 + 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() { + cd cryptominisat-$pkgver + install -Dm644 LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE" + cd build + make install DESTDIR="$pkgdir" + # todo, tweak the build tools to respect DESTDIR + cd pycryptosat + python2 setup.py install --record files.txt --root="${pkgdir}" +} +