diff options
| author | Kyle Keen | 2019-04-28 23:05:15 -0400 |
|---|---|---|
| committer | Kyle Keen | 2019-04-28 23:05:15 -0400 |
| commit | 7d3959e5e7c0088e8d80f2091b0f350670c3ea93 (patch) | |
| tree | b8e4698e0de7e8349e88475a7c7c7d19595f6285 /PKGBUILD | |
| download | aur-7d3959e5e7c0088e8d80f2091b0f350670c3ea93.tar.gz | |
another sat solver
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 27 |
1 files changed, 27 insertions, 0 deletions
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" +} + |