[arch-commits] Commit in cryptominisat5/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Kyle Keen]

    Date: Wednesday, December 27, 2017 @ 12:29:24
  Author: kkeen
Revision: 276217

archrelease: copy trunk to community-x86_64

Added:
  cryptominisat5/repos/community-x86_64/PKGBUILD
    (from rev 276216, cryptominisat5/trunk/PKGBUILD)
Deleted:
  cryptominisat5/repos/community-x86_64/PKGBUILD

----------+
 PKGBUILD |  134 ++++++++++++++++++++++++++++++-------------------------------
 1 file changed, 67 insertions(+), 67 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2017-12-27 12:27:37 UTC (rev 276216)
+++ PKGBUILD	2017-12-27 12:29:24 UTC (rev 276217)
@@ -1,67 +0,0 @@
-# $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=2
-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}"
-}
-

Copied: cryptominisat5/repos/community-x86_64/PKGBUILD (from rev 276216, cryptominisat5/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2017-12-27 12:29:24 UTC (rev 276217)
@@ -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=3
+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=('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}"
+}
+