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 =================================================================== --- PKGBUILD 2015-08-29 20:59:07 UTC (rev 138947) +++ PKGBUILD 2015-08-29 21:16:58 UTC (rev 138948) @@ -2,30 +2,30 @@ # Maintainer: Antonio Rojas <[email protected]> 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" }
