summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD40
1 files changed, 40 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..877e57c61efc
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,40 @@
+# Maintainer: Kyle Keen <keenerd@gmail.com>
+
+pkgname=cryptominisat4
+pkgver=4.2.0
+pkgrel=1
+pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver"
+arch=('i686' 'x86_64')
+url="http://www.msoos.org/cryptominisat4/"
+license=('LGPL')
+depends=('zlib' 'gcc-libs' 'boost-libs' 'intel-tbb')
+makedepends=('python2' 'boost')
+optdepends=('python2: python module')
+source=("http://msoos.org/largefiles/cryptominisat-$pkgver.tar.bz2")
+md5sums=('d12ed2839160ad946a3925c8eec94a39')
+
+# many fancy features requiring makedeps
+# intel-tbb, python2, m4ri, libmysqlclient, valgrind
+
+build() {
+ cd cryptominisat4-$pkgver
+ sed -i 's/python$/python2/' python/Makefile
+ 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
+}
+
+package() {
+ cd cryptominisat4-$pkgver/build
+ make install DESTDIR="$pkgdir"
+ mv "$pkgdir/usr/bin/cryptominisat" "$pkgdir/usr/bin/cryptominisat4"
+ # todo, tweak the build tools to respect DESTDIR
+ cd py-lib
+ python2 setup.py install --record files.txt --root="${pkgdir}"
+}
+