diff options
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 27 |
2 files changed, 41 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..dbb1e9febfee --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +# Generated by mksrcinfo v8 +# Mon Apr 29 03:05:15 UTC 2019 +pkgbase = cadical + pkgdesc = A simple CDCL satisfiability solver + pkgver = sc18 + pkgrel = 1 + url = http://fmv.jku.at/cadical/ + arch = x86_64 + license = MIT + source = https://github.com/arminbiere/cadical/archive/sc18.tar.gz + md5sums = cbc2e33e5cb9790bf8b552f1d0d2743b + +pkgname = cadical + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..37ce9022bbcf --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,27 @@ +# Maintainer: Kyle Keen <keenerd@gmail.com> + +pkgname=cadical +pkgver=sc18 +pkgrel=1 +pkgdesc="A simple CDCL satisfiability solver" +arch=('x86_64') +url="http://fmv.jku.at/cadical/" +license=('MIT') +source=("https://github.com/arminbiere/cadical/archive/$pkgver.tar.gz") +md5sums=('cbc2e33e5cb9790bf8b552f1d0d2743b') + +build() { + cd "$srcdir/$pkgname-$pkgver" + ./configure + make +} + +package() { + cd "$srcdir/$pkgname-$pkgver" + install -Dm644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE" + + cd build + install -Dm755 cadical "$pkgdir/usr/bin/cadical" + install -Dm755 libcadical.a "$pkgdir/usr/lib/libcadical.a" +} + |