diff options
| -rw-r--r-- | .SRCINFO | 12 | ||||
| -rw-r--r-- | PKGBUILD | 30 |
2 files changed, 28 insertions, 14 deletions
@@ -1,14 +1,14 @@ -# Generated by mksrcinfo v8 -# Fri Mar 4 05:20:10 UTC 2022 pkgbase = cadical pkgdesc = A simple CDCL satisfiability solver - pkgver = 1.5.0 + pkgver = 1.9.5 pkgrel = 1 url = http://fmv.jku.at/cadical/ arch = x86_64 license = MIT - source = https://github.com/arminbiere/cadical/archive/rel-1.5.0.tar.gz - md5sums = 79a7070b4ae539d14accaea2687c98d3 + depends = gcc-libs + depends = glibc + options = !lto + source = https://github.com/arminbiere/cadical/archive/rel-1.9.5.tar.gz + b2sums = 68c7fcc35ef0ad5082d5bbc828363ee45c2e637f281f1829ffb34047fff73775d34615e0ac37b8b49ff20b941db85b72c0dd6de0ab5ec5a690fd80fb5489b212 pkgname = cadical - @@ -1,30 +1,44 @@ -# Maintainer: Kyle Keen <keenerd@gmail.com> +# Maintainer: Manuel Wiesinger <m {you know what belongs here} mmap {and here} at> +# Contributor: Kyle Keen <keenerd@gmail.com> pkgname=cadical -pkgver=1.5.0 +pkgver=1.9.5 pkgrel=1 pkgdesc="A simple CDCL satisfiability solver" arch=('x86_64') url="http://fmv.jku.at/cadical/" license=('MIT') +depends=('gcc-libs' 'glibc') source=("https://github.com/arminbiere/cadical/archive/rel-$pkgver.tar.gz") -md5sums=('79a7070b4ae539d14accaea2687c98d3') +b2sums=('68c7fcc35ef0ad5082d5bbc828363ee45c2e637f281f1829ffb34047fff73775d34615e0ac37b8b49ff20b941db85b72c0dd6de0ab5ec5a690fd80fb5489b212') +options=('!lto') build() { cd "$srcdir/$pkgname-rel-$pkgver" ./configure - make + make CXXFLAGS+="${CXXFLAGS} -fPIC" +} + +check() { + cd "$srcdir/$pkgname-rel-$pkgver" + make test } package() { cd "$srcdir/$pkgname-rel-$pkgver" install -Dm644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE" + install -Dm644 BUILD.md "$pkgdir/usr/share/doc/$pkgname/BUILD.md" + install -Dm644 CONTRIBUTING.md "$pkgdir/usr/share/doc/$pkgname/CONTRIBUTING.md" + install -Dm644 NEWS.md "$pkgdir/usr/share/doc/$pkgname/NEWS.md" + install -Dm644 README.md "$pkgdir/usr/share/doc/$pkgname/README.md" + cd src + install -Dm644 ccadical.h "$pkgdir/usr/include/ccadical.h" install -Dm644 cadical.hpp "$pkgdir/usr/include/cadical.hpp" - cd .. - cd build + + cd ../build install -Dm755 cadical "$pkgdir/usr/bin/cadical" - install -Dm755 libcadical.a "$pkgdir/usr/lib/libcadical.a" + install -Dm755 mobical "$pkgdir/usr/bin/mobical" + install -Dm644 libcadical.a "$pkgdir/usr/lib/libcadical.a" } - |