[arch-commits] Commit in cryptominisat/repos (4 files)

[Antonio Rojas]

    Date: Tuesday, April 12, 2016 @ 08:45:39
  Author: arojas
Revision: 170583

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

Added:
  cryptominisat/repos/community-staging-i686/
  cryptominisat/repos/community-staging-i686/PKGBUILD
    (from rev 170582, cryptominisat/trunk/PKGBUILD)
  cryptominisat/repos/community-staging-x86_64/
  cryptominisat/repos/community-staging-x86_64/PKGBUILD
    (from rev 170582, cryptominisat/trunk/PKGBUILD)

-----------------------------------+
 community-staging-i686/PKGBUILD   |   31 +++++++++++++++++++++++++++++++
 community-staging-x86_64/PKGBUILD |   31 +++++++++++++++++++++++++++++++
 2 files changed, 62 insertions(+)

Copied: cryptominisat/repos/community-staging-i686/PKGBUILD (from rev 170582, cryptominisat/trunk/PKGBUILD)
===================================================================
--- community-staging-i686/PKGBUILD	                        (rev 0)
+++ community-staging-i686/PKGBUILD	2016-04-12 06:45:39 UTC (rev 170583)
@@ -0,0 +1,31 @@
+# $Id$
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+
+pkgname=cryptominisat
+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=(zlib gcc-libs)
+makedepends=()
+source=("https://github.com/msoos/$pkgname/archive/$pkgname-$pkgver.zip")
+md5sums=('0b6fb32ccb5c1ad84174e19d3b9c0d0f')
+
+prepare() {
+  cd $pkgname-$pkgname-$pkgver
+  autoreconf -vi
+}
+
+build() {
+  cd $pkgname-$pkgname-$pkgver
+  ./configure --prefix=/usr
+  make
+}
+
+package() {
+  cd $pkgname-$pkgname-$pkgver
+  make install DESTDIR="$pkgdir"
+}
+

Copied: cryptominisat/repos/community-staging-x86_64/PKGBUILD (from rev 170582, cryptominisat/trunk/PKGBUILD)
===================================================================
--- community-staging-x86_64/PKGBUILD	                        (rev 0)
+++ community-staging-x86_64/PKGBUILD	2016-04-12 06:45:39 UTC (rev 170583)
@@ -0,0 +1,31 @@
+# $Id$
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+
+pkgname=cryptominisat
+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=(zlib gcc-libs)
+makedepends=()
+source=("https://github.com/msoos/$pkgname/archive/$pkgname-$pkgver.zip")
+md5sums=('0b6fb32ccb5c1ad84174e19d3b9c0d0f')
+
+prepare() {
+  cd $pkgname-$pkgname-$pkgver
+  autoreconf -vi
+}
+
+build() {
+  cd $pkgname-$pkgname-$pkgver
+  ./configure --prefix=/usr
+  make
+}
+
+package() {
+  cd $pkgname-$pkgname-$pkgver
+  make install DESTDIR="$pkgdir"
+}
+