blob: 1e42fc22fb565490106a6be88600e1ed472a3794 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
# Maintainer: Julian Pollinger <julian@pollinger.dev>
# Contributor: Kyle Keen <keenerd@gmail.com>
_pkgname=cadical
pkgname=$_pkgname-pic
pkgver=1.7.2
pkgrel=2
pkgdesc="A simple CDCL satisfiability solver with feature PIC enabled"
arch=('x86_64')
url="http://fmv.jku.at/cadical/"
license=('MIT')
depends=('glibc' 'gcc-libs')
source=("https://github.com/arminbiere/cadical/archive/rel-$pkgver.tar.gz")
sha256sums=('9e0f9deaf6379ab321f92e4ed5239a5577165eb29359ea7b425cc3204147a772')
provides=("cadical=$pkgver")
conflicts=('cadical')
build() {
cd "$srcdir/$_pkgname-rel-$pkgver"
./configure -fPIC
make
}
package() {
cd "$srcdir/$_pkgname-rel-$pkgver"
install -Dm644 LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
cd src
install -Dm644 cadical.hpp "$pkgdir/usr/include/cadical.hpp"
cd ..
cd build
install -Dm755 cadical "$pkgdir/usr/bin/cadical"
install -Dm755 libcadical.a "$pkgdir/usr/lib/libcadical.a"
}
|