[arch-commits] Commit in (4 files)
Kyle Keen
kkeen at archlinux.org
Tue Jun 13 14:34:30 UTC 2017
Date: Tuesday, June 13, 2017 @ 14:34:25
Author: kkeen
Revision: 236604
pkginit cryptominisat5 for sage
Added:
cryptominisat5/
cryptominisat5/repos/
cryptominisat5/trunk/
cryptominisat5/trunk/PKGBUILD
----------+
PKGBUILD | 67 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 67 insertions(+)
Added: cryptominisat5/trunk/PKGBUILD
===================================================================
--- cryptominisat5/trunk/PKGBUILD (rev 0)
+++ cryptominisat5/trunk/PKGBUILD 2017-06-13 14:34:25 UTC (rev 236604)
@@ -0,0 +1,67 @@
+# $Id$
+# Maintainer: Kyle Keen <keenerd at 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.0.1
+pkgrel=1
+pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver"
+arch=('i686' '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=('45203be947368de75b44cf734cbac1d7')
+
+# 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() {
+ return
+ python2 -c "from pycryptosat import Solver"
+ return
+ cd "$srcdir/cryptominisat-$pkgver/build/pycryptosat"
+ ln -s pycryptosat.so libcryptominisat5.so.5.0
+ cd "$srcdir/cryptominisat-$pkgver/python"
+ ln -s "$srcdir/cryptominisat-$pkgver/build/pycryptosat/pycryptosat.so" libcryptominisat5.so.5.0
+ 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"
+ 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}"
+}
+
Property changes on: cryptominisat5/trunk/PKGBUILD
___________________________________________________________________
Added: svn:keywords
## -0,0 +1 ##
+Id
\ No newline at end of property
More information about the arch-commits
mailing list