[arch-commits] Commit in cryptominisat (5 files)
Antonio Rojas
arojas at archlinux.org
Fri Jan 2 00:21:24 UTC 2015
Date: Friday, January 2, 2015 @ 01:21:24
Author: arojas
Revision: 125147
archrelease: copy trunk to community-i686, community-x86_64
Added:
cryptominisat/repos/
cryptominisat/repos/community-i686/
cryptominisat/repos/community-i686/PKGBUILD
(from rev 125146, cryptominisat/trunk/PKGBUILD)
cryptominisat/repos/community-x86_64/
cryptominisat/repos/community-x86_64/PKGBUILD
(from rev 125146, cryptominisat/trunk/PKGBUILD)
---------------------------+
community-i686/PKGBUILD | 25 +++++++++++++++++++++++++
community-x86_64/PKGBUILD | 25 +++++++++++++++++++++++++
2 files changed, 50 insertions(+)
Copied: cryptominisat/repos/community-i686/PKGBUILD (from rev 125146, cryptominisat/trunk/PKGBUILD)
===================================================================
--- repos/community-i686/PKGBUILD (rev 0)
+++ repos/community-i686/PKGBUILD 2015-01-02 00:21:24 UTC (rev 125147)
@@ -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"
+}
+
Copied: cryptominisat/repos/community-x86_64/PKGBUILD (from rev 125146, cryptominisat/trunk/PKGBUILD)
===================================================================
--- repos/community-x86_64/PKGBUILD (rev 0)
+++ repos/community-x86_64/PKGBUILD 2015-01-02 00:21:24 UTC (rev 125147)
@@ -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"
+}
+
More information about the arch-commits
mailing list