Date: Friday, January 2, 2015 @ 01:20:37 Author: arojas Revision: 125146
New Sage dependency Added: cryptominisat/ cryptominisat/trunk/ cryptominisat/trunk/PKGBUILD ----------+ PKGBUILD | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) Added: cryptominisat/trunk/PKGBUILD =================================================================== --- cryptominisat/trunk/PKGBUILD (rev 0) +++ cryptominisat/trunk/PKGBUILD 2015-01-02 00:20:37 UTC (rev 125146) @@ -0,0 +1,25 @@ +# Maintainer: Antonio Rojas <[email protected]> + +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" +} + Property changes on: cryptominisat/trunk/PKGBUILD ___________________________________________________________________ Added: svn:keywords ## -0,0 +1 ## +Id \ No newline at end of property
