[arch-commits] Commit in (3 files)

[Antonio Rojas]

    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 <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"
+}
+


Property changes on: cryptominisat/trunk/PKGBUILD
___________________________________________________________________
Added: svn:keywords
## -0,0 +1 ##
+Id
\ No newline at end of property