diff options
author | Denis Kasak | 2017-12-18 22:35:01 +0100 |
---|---|---|
committer | Denis Kasak | 2017-12-18 22:35:01 +0100 |
commit | d3e9215f0a3a3705ab03eefb6e7cb35a3c135b4b (patch) | |
tree | cc2152bfdaca667b59ff7557966695843dbbc5cb | |
parent | 062bab0debf7aa9d6f5304a0ae237310462002ce (diff) | |
download | aur-d3e9215f0a3a3705ab03eefb6e7cb35a3c135b4b.tar.gz |
Initial PKGBUILD version.
-rw-r--r-- | PKGBUILD | 28 |
1 files changed, 13 insertions, 15 deletions
@@ -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: |