[arch-commits] Commit in cryptominisat/trunk (PKGBUILD)

[Antonio Rojas]

Date: Tuesday, April 12, 2016 @ 08:45:05
  Author: arojas
Revision: 170582

Update to 2.9.11

Modified:
  cryptominisat/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2016-04-12 06:41:59 UTC (rev 170581)
+++ PKGBUILD2016-04-12 06:45:05 UTC (rev 170582)
@@ -2,8 +2,8 @@
 # Maintainer: Antonio Rojas 
 
 pkgname=cryptominisat
-pkgver=2.9.10
-pkgrel=2
+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/;
@@ -11,7 +11,7 @@
 depends=(zlib gcc-libs)
 makedepends=()
 source=("https://github.com/msoos/$pkgname/archive/$pkgname-$pkgver.zip;)
-md5sums=('eb46361e991c04211f87fb4a18743e11')
+md5sums=('0b6fb32ccb5c1ad84174e19d3b9c0d0f')
 
 prepare() {
   cd $pkgname-$pkgname-$pkgver

[arch-commits] Commit in cryptominisat/trunk (PKGBUILD)

[Allan McRae]

Date: Saturday, December 5, 2015 @ 16:47:02
  Author: allan
Revision: 148509

C++11 ABI rebuild

Modified:
  cryptominisat/trunk/PKGBUILD

--+
 PKGBUILD |2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2015-12-05 15:45:37 UTC (rev 148508)
+++ PKGBUILD2015-12-05 15:47:02 UTC (rev 148509)
@@ -3,7 +3,7 @@
 
 pkgname=cryptominisat
 pkgver=2.9.10
-pkgrel=1
+pkgrel=2
 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/;

[arch-commits] Commit in cryptominisat/trunk (PKGBUILD)

[Antonio Rojas]

Date: Saturday, August 29, 2015 @ 23:16:58
  Author: arojas
Revision: 138948

Update to 2.9.10

Modified:
  cryptominisat/trunk/PKGBUILD

--+
 PKGBUILD |   18 +-
 1 file changed, 9 insertions(+), 9 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2015-08-29 20:59:07 UTC (rev 138947)
+++ PKGBUILD2015-08-29 21:16:58 UTC (rev 138948)
@@ -2,30 +2,30 @@
 # Maintainer: Antonio Rojas aro...@archlinux.org
 
 pkgname=cryptominisat
-pkgver=2.9.9
+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')
+arch=(i686 x86_64)
 url=http://www.msoos.org/cryptominisat2/;
-license=('LGPL')
-depends=('zlib' 'gcc-libs')
+license=(LGPL)
+depends=(zlib gcc-libs)
 makedepends=()
-source=(https://github.com/msoos/$pkgname/archive/$pkgname-$pkgver-release.tar.gz;)
-md5sums=('b63a473a9579c26949fbad8552faf37a')
+source=(https://github.com/msoos/$pkgname/archive/$pkgname-$pkgver.zip;)
+md5sums=('eb46361e991c04211f87fb4a18743e11')
 
 prepare() {
-  cd $pkgname-$pkgname-$pkgver-release
+  cd $pkgname-$pkgname-$pkgver
   autoreconf -vi
 }
 
 build() {
-  cd $pkgname-$pkgname-$pkgver-release
+  cd $pkgname-$pkgname-$pkgver
   ./configure --prefix=/usr
   make
 }
 
 package() {
-  cd $pkgname-$pkgname-$pkgver-release
+  cd $pkgname-$pkgname-$pkgver
   make install DESTDIR=$pkgdir
 }
 

[arch-commits] Commit in cryptominisat/trunk (PKGBUILD)

[Evangelos Foutras]

Date: Thursday, June 4, 2015 @ 07:46:38
  Author: foutrelis
Revision: 134738

gforge sources are unavailable; switch to github

Modified:
  cryptominisat/trunk/PKGBUILD

--+
 PKGBUILD |   13 +
 1 file changed, 9 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2015-06-03 22:59:28 UTC (rev 134737)
+++ PKGBUILD2015-06-04 05:46:38 UTC (rev 134738)
@@ -10,17 +10,22 @@
 license=('LGPL')
 depends=('zlib' 'gcc-libs')
 makedepends=()
-source=(https://gforge.inria.fr/frs/download.php/file/33402/cmsat-$pkgver.tar.gz;)
-md5sums=('8735e6295d1e0114ae649588fd82b963')
+source=(https://github.com/msoos/$pkgname/archive/$pkgname-$pkgver-release.tar.gz;)
+md5sums=('b63a473a9579c26949fbad8552faf37a')
 
+prepare() {
+  cd $pkgname-$pkgname-$pkgver-release
+  autoreconf -vi
+}
+
 build() {
-  cd cmsat-$pkgver
+  cd $pkgname-$pkgname-$pkgver-release
   ./configure --prefix=/usr
   make
 }
 
 package() {
-  cd cmsat-$pkgver
+  cd $pkgname-$pkgname-$pkgver-release
   make install DESTDIR=$pkgdir
 }