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

[Antonio Rojas]

    Date: Saturday, August 29, 2015 @ 23:17:53
  Author: arojas
Revision: 138949

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

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

---------------------------+
 /PKGBUILD                 |   62 ++++++++++++++++++++++++++++++++++++++++++++
 community-i686/PKGBUILD   |   25 -----------------
 community-x86_64/PKGBUILD |   25 -----------------
 3 files changed, 62 insertions(+), 50 deletions(-)

Deleted: community-i686/PKGBUILD
===================================================================
--- community-i686/PKGBUILD	2015-08-29 21:16:58 UTC (rev 138948)
+++ community-i686/PKGBUILD	2015-08-29 21:17:53 UTC (rev 138949)
@@ -1,25 +0,0 @@
-# Maintainer: Antonio Rojas <arojas at archlinux.org>
-
-pkgname=cryptominisat
-pkgver=2.9.9
-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://gforge.inria.fr/frs/download.php/file/33402/cmsat-$pkgver.tar.gz")
-md5sums=('8735e6295d1e0114ae649588fd82b963')
-
-build() {
-  cd cmsat-$pkgver
-  ./configure --prefix=/usr
-  make
-}
-
-package() {
-  cd cmsat-$pkgver
-  make install DESTDIR="$pkgdir"
-}
-

Copied: cryptominisat/repos/community-i686/PKGBUILD (from rev 138948, cryptominisat/trunk/PKGBUILD)
===================================================================
--- community-i686/PKGBUILD	                        (rev 0)
+++ community-i686/PKGBUILD	2015-08-29 21:17:53 UTC (rev 138949)
@@ -0,0 +1,31 @@
+# $Id$
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+
+pkgname=cryptominisat
+pkgver=2.9.10
+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=('eb46361e991c04211f87fb4a18743e11')
+
+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"
+}
+

Deleted: community-x86_64/PKGBUILD
===================================================================
--- community-x86_64/PKGBUILD	2015-08-29 21:16:58 UTC (rev 138948)
+++ community-x86_64/PKGBUILD	2015-08-29 21:17:53 UTC (rev 138949)
@@ -1,25 +0,0 @@
-# Maintainer: Antonio Rojas <arojas at archlinux.org>
-
-pkgname=cryptominisat
-pkgver=2.9.9
-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://gforge.inria.fr/frs/download.php/file/33402/cmsat-$pkgver.tar.gz")
-md5sums=('8735e6295d1e0114ae649588fd82b963')
-
-build() {
-  cd cmsat-$pkgver
-  ./configure --prefix=/usr
-  make
-}
-
-package() {
-  cd cmsat-$pkgver
-  make install DESTDIR="$pkgdir"
-}
-

Copied: cryptominisat/repos/community-x86_64/PKGBUILD (from rev 138948, cryptominisat/trunk/PKGBUILD)
===================================================================
--- community-x86_64/PKGBUILD	                        (rev 0)
+++ community-x86_64/PKGBUILD	2015-08-29 21:17:53 UTC (rev 138949)
@@ -0,0 +1,31 @@
+# $Id$
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+
+pkgname=cryptominisat
+pkgver=2.9.10
+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=('eb46361e991c04211f87fb4a18743e11')
+
+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"
+}
+