[arch-commits] Commit in cryptominisat/repos (4 files)
Allan McRae
allan at archlinux.org
Sat Dec 5 15:48:05 UTC 2015
Date: Saturday, December 5, 2015 @ 16:48:05
Author: allan
Revision: 148510
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
cryptominisat/repos/community-staging-i686/
cryptominisat/repos/community-staging-i686/PKGBUILD
(from rev 148509, cryptominisat/trunk/PKGBUILD)
cryptominisat/repos/community-staging-x86_64/
cryptominisat/repos/community-staging-x86_64/PKGBUILD
(from rev 148509, cryptominisat/trunk/PKGBUILD)
-----------------------------------+
community-staging-i686/PKGBUILD | 31 +++++++++++++++++++++++++++++++
community-staging-x86_64/PKGBUILD | 31 +++++++++++++++++++++++++++++++
2 files changed, 62 insertions(+)
Copied: cryptominisat/repos/community-staging-i686/PKGBUILD (from rev 148509, cryptominisat/trunk/PKGBUILD)
===================================================================
--- community-staging-i686/PKGBUILD (rev 0)
+++ community-staging-i686/PKGBUILD 2015-12-05 15:48:05 UTC (rev 148510)
@@ -0,0 +1,31 @@
+# $Id$
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+
+pkgname=cryptominisat
+pkgver=2.9.10
+pkgrel=2
+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://github.com/msoos/$pkgname/archive/$pkgname-$pkgver.zip")
+md5sums=('eb46361e991c04211f87fb4a18743e11')
+
+prepare() {
+ cd $pkgname-$pkgname-$pkgver
+ autoreconf -vi
+}
+
+build() {
+ cd $pkgname-$pkgname-$pkgver
+ ./configure --prefix=/usr
+ make
+}
+
+package() {
+ cd $pkgname-$pkgname-$pkgver
+ make install DESTDIR="$pkgdir"
+}
+
Copied: cryptominisat/repos/community-staging-x86_64/PKGBUILD (from rev 148509, cryptominisat/trunk/PKGBUILD)
===================================================================
--- community-staging-x86_64/PKGBUILD (rev 0)
+++ community-staging-x86_64/PKGBUILD 2015-12-05 15:48:05 UTC (rev 148510)
@@ -0,0 +1,31 @@
+# $Id$
+# Maintainer: Antonio Rojas <arojas at archlinux.org>
+
+pkgname=cryptominisat
+pkgver=2.9.10
+pkgrel=2
+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://github.com/msoos/$pkgname/archive/$pkgname-$pkgver.zip")
+md5sums=('eb46361e991c04211f87fb4a18743e11')
+
+prepare() {
+ cd $pkgname-$pkgname-$pkgver
+ autoreconf -vi
+}
+
+build() {
+ cd $pkgname-$pkgname-$pkgver
+ ./configure --prefix=/usr
+ make
+}
+
+package() {
+ cd $pkgname-$pkgname-$pkgver
+ make install DESTDIR="$pkgdir"
+}
+
More information about the arch-commits
mailing list