summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDenis Kasak2017-12-18 22:35:01 +0100
committerDenis Kasak2017-12-18 22:35:01 +0100
commitd3e9215f0a3a3705ab03eefb6e7cb35a3c135b4b (patch)
treecc2152bfdaca667b59ff7557966695843dbbc5cb
parent062bab0debf7aa9d6f5304a0ae237310462002ce (diff)
downloadaur-d3e9215f0a3a3705ab03eefb6e7cb35a3c135b4b.tar.gz
Initial PKGBUILD version.
-rw-r--r--PKGBUILD28
1 files changed, 13 insertions, 15 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 57b3e88f0657..3615c70a7a02 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,32 +1,30 @@
+# Maintainer: Denis Kasak <dkasak|AT|termina.org.uk>
+
pkgname=minisat-git
pkgver=2.2.0.r68.g37dc6c6
-pkgrel=2
-pkgdesc='A minimalistic and high-performance SAT solver'
+pkgrel=1
+pkgdesc='A minimalistic and high-performance SAT solver (git version)'
arch=('i686' 'x86_64')
url="http://minisat.se/"
license=('MIT')
-makedepends=('git' 'cmake')
conflicts=('minisat')
-source=($pkgname::git+https://github.com/niklasso/minisat.git)
-md5sums=('SKIP')
+makedepends=('git')
+source=($pkgname::git+https://github.com/niklasso/minisat)
+sha256sums=('SKIP')
pkgver() {
- cd "$pkgname"
- git describe --long --tags | sed 's/\([^-]*-g\)/r\1/;s/-/./g;s/^releases\///'
+ cd "$srcdir/$pkgname"
+ git describe --long --tags | sed 's|^releases/||;s/\([^-]*-g\)/r\1/;s/-/./g'
}
build() {
cd "$srcdir/$pkgname"
-
- mkdir build
- cd build
- cmake -DCMAKE_INSTALL_PREFIX=/usr ../
+ make config prefix=/usr
make
}
package() {
- cd "$srcdir/$pkgname"
-
- cd build
- make DESTDIR="$pkgdir/" install
+ make -C "$srcdir/$pkgname" install DESTDIR="$pkgdir"
}
+
+# vim:set ts=4 sts=4 sw=4 et: