Date: Friday, October 28, 2016 @ 20:18:36 Author: arojas Revision: 193949
Specify major version in package name Added: cryptominisat2/ cryptominisat2/trunk/ cryptominisat2/trunk/PKGBUILD ----------+ PKGBUILD | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) Added: cryptominisat2/trunk/PKGBUILD =================================================================== --- cryptominisat2/trunk/PKGBUILD (rev 0) +++ cryptominisat2/trunk/PKGBUILD 2016-10-28 20:18:36 UTC (rev 193949) @@ -0,0 +1,29 @@ +# $Id$ +# Maintainer: Antonio Rojas <[email protected]> + +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" +} Property changes on: cryptominisat2/trunk/PKGBUILD ___________________________________________________________________ Added: svn:keywords ## -0,0 +1 ## +Id \ No newline at end of property
