diff options
| -rw-r--r-- | .SRCINFO | 8 | ||||
| -rw-r--r-- | PKGBUILD | 26 |
2 files changed, 24 insertions, 10 deletions
@@ -1,6 +1,8 @@ +# Generated by mksrcinfo v8 +# Thu Nov 17 19:17:23 UTC 2016 pkgbase = cryptominisat4 pkgdesc = A modern, multi-threaded, feature-rich, simplifying SAT solver - pkgver = 4.2.0 + pkgver = 4.5.3 pkgrel = 1 url = http://www.msoos.org/cryptominisat4/ arch = i686 @@ -13,8 +15,8 @@ pkgbase = cryptominisat4 depends = boost-libs depends = intel-tbb optdepends = python2: python module - source = http://msoos.org/largefiles/cryptominisat-4.2.0.tar.bz2 - md5sums = d12ed2839160ad946a3925c8eec94a39 + source = cms4-4.5.3.tgz::https://github.com/msoos/cryptominisat/archive/4.5.3.tar.gz + md5sums = 7ad723a166409ef567224dd45554c45e pkgname = cryptominisat4 @@ -1,7 +1,9 @@ # Maintainer: Kyle Keen <keenerd@gmail.com> +# missing man page? + pkgname=cryptominisat4 -pkgver=4.2.0 +pkgver=4.5.3 pkgrel=1 pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver" arch=('i686' 'x86_64') @@ -10,15 +12,21 @@ 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') +#source=("http://msoos.org/largefiles/cryptominisat-$pkgver.tar.bz2") +source=("cms4-$pkgver.tgz::https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz") +md5sums=('7ad723a166409ef567224dd45554c45e') # many fancy features requiring makedeps # intel-tbb, python2, m4ri, libmysqlclient, valgrind -build() { - cd cryptominisat4-$pkgver +prepare() { + cd cryptominisat-$pkgver sed -i 's/python$/python2/' python/Makefile + sed -i 's/\(CRYPTOMINISAT4_EXECUTABLE\).*/\1 cryptominisat4\)/' *.cmake.in +} + +build() { + cd cryptominisat-$pkgver mkdir -p build cd build # options to play with: @@ -30,11 +38,15 @@ build() { } package() { - cd cryptominisat4-$pkgver/build + cd cryptominisat-$pkgver/build make install DESTDIR="$pkgdir" - mv "$pkgdir/usr/bin/cryptominisat" "$pkgdir/usr/bin/cryptominisat4" + #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}" + #sed -i 's/cryptominisat\b/cryptominisat4/g' "$pkgdir/usr/lib/cmake/cryptominisat4/*.cmake" + + # bloat + rm -f "$pkgdir/usr/lib/libcryptominisat4.a" } |