diff options
-rw-r--r-- | .SRCINFO | 15 | ||||
-rw-r--r-- | PKGBUILD | 32 |
2 files changed, 47 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..0494e24c553b --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = minisat-git + pkgdesc = A minimalistic and high-performance SAT solver + pkgver = 2.2.0.r303.37dc6c6 + pkgrel = 1 + url = http://minisat.se/ + arch = i686 + arch = x86_64 + license = MIT + makedepends = git + makedepends = cmake + source = minisat::git+https://github.com/niklasso/minisat.git + md5sums = SKIP + +pkgname = minisat-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..a79148036d7b --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,32 @@ +pkgname=minisat-git +pkgver=2.2.0.r303.37dc6c6 +pkgrel=1 +pkgdesc='A minimalistic and high-performance SAT solver' +arch=('i686' 'x86_64') +url="http://minisat.se/" +license=('MIT') +makedepends=('git' 'cmake') +_gitname=minisat +source=($_gitname::git+https://github.com/niklasso/minisat.git) +md5sums=('SKIP') + +pkgver() { + cd "${_gitname}" + printf '2.2.0.r%s.%s' $(git rev-list --count HEAD) $(git rev-parse --short HEAD) +} + +build() { + cd "${srcdir}/${_gitname}" + + mkdir build + cd build + cmake -DCMAKE_INSTALL_PREFIX=/usr ../ + make +} + +package() { + cd "${srcdir}/${_gitname}" + + cd build + make DESTDIR="$pkgdir/" install +} |