[arch-commits] Commit in cryptominisat2 (5 files)

[Antonio Rojas]

    Date: Friday, October 28, 2016 @ 20:19:08
  Author: arojas
Revision: 193950

archrelease: copy trunk to community-i686, community-x86_64

Added:
  cryptominisat2/repos/
  cryptominisat2/repos/community-i686/
  cryptominisat2/repos/community-i686/PKGBUILD
    (from rev 193949, cryptominisat2/trunk/PKGBUILD)
  cryptominisat2/repos/community-x86_64/
  cryptominisat2/repos/community-x86_64/PKGBUILD
    (from rev 193949, cryptominisat2/trunk/PKGBUILD)

---------------------------+
 community-i686/PKGBUILD   |   29 +++++++++++++++++++++++++++++
 community-x86_64/PKGBUILD |   29 +++++++++++++++++++++++++++++
 2 files changed, 58 insertions(+)

Copied: cryptominisat2/repos/community-i686/PKGBUILD (from rev 193949, cryptominisat2/trunk/PKGBUILD)
===================================================================
--- repos/community-i686/PKGBUILD	                        (rev 0)
+++ repos/community-i686/PKGBUILD	2016-10-28 20:19:08 UTC (rev 193950)
@@ -0,0 +1,29 @@
+# $Id$
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+
+pkgname=cryptominisat2
+pkgver=2.9.11
+pkgrel=1
+pkgdesc="SAT solver that aims to become a premier SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat"
+arch=(i686 x86_64)
+url="http://www.msoos.org/cryptominisat2/"
+license=(LGPL)
+depends=(gcc-libs zlib)
+makedepends=()
+conflicts=(cryptominisat)
+provides=(cryptominisat)
+replaces=('cryptominisat<3')
+source=($pkgname-$pkgver.tar.gz::"https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz")
+md5sums=('72b0ba94b7fc4a759d664188ad198139')
+
+build() {
+  cd cryptominisat-$pkgver
+  autoreconf -vi
+  ./configure --prefix=/usr
+  make
+}
+
+package() {
+  cd cryptominisat-$pkgver
+  make install DESTDIR="$pkgdir"
+}

Copied: cryptominisat2/repos/community-x86_64/PKGBUILD (from rev 193949, cryptominisat2/trunk/PKGBUILD)
===================================================================
--- repos/community-x86_64/PKGBUILD	                        (rev 0)
+++ repos/community-x86_64/PKGBUILD	2016-10-28 20:19:08 UTC (rev 193950)
@@ -0,0 +1,29 @@
+# $Id$
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+
+pkgname=cryptominisat2
+pkgver=2.9.11
+pkgrel=1
+pkgdesc="SAT solver that aims to become a premier SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat"
+arch=(i686 x86_64)
+url="http://www.msoos.org/cryptominisat2/"
+license=(LGPL)
+depends=(gcc-libs zlib)
+makedepends=()
+conflicts=(cryptominisat)
+provides=(cryptominisat)
+replaces=('cryptominisat<3')
+source=($pkgname-$pkgver.tar.gz::"https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz")
+md5sums=('72b0ba94b7fc4a759d664188ad198139')
+
+build() {
+  cd cryptominisat-$pkgver
+  autoreconf -vi
+  ./configure --prefix=/usr
+  make
+}
+
+package() {
+  cd cryptominisat-$pkgver
+  make install DESTDIR="$pkgdir"
+}