summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD26
2 files changed, 24 insertions, 10 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 8de2d667743..552ef1e6b32 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 877e57c61ef..caf80e8f31a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"
}