summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorKyle Keen2019-04-28 23:05:15 -0400
committerKyle Keen2019-04-28 23:05:15 -0400
commit7d3959e5e7c0088e8d80f2091b0f350670c3ea93 (patch)
treeb8e4698e0de7e8349e88475a7c7c7d19595f6285 /PKGBUILD
downloadaur-cadical.tar.gz
another sat solver
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD27
1 files changed, 27 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..37ce9022bbc
--- /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"
+}
+