blob: e02d76d9b824aec40dda1200a4bc06189ce3169e (
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
|
# Maintainer: Áron Ricardo Perez-Lopez <perez.aron@gmail.com>
# Contributor: Deian Stefan
_pkgname=btor2tools
pkgname=btor2tools-git
pkgver=r83.037f1fa
pkgrel=1
pkgdesc="A generic parser and tool package for the BTOR2 format."
arch=('x86_64')
url="https://github.com/Boolector/btor2tools"
license=('MIT')
depends=('gcc-libs')
makedepends=('git' 'cmake')
provides=("$_pkgname")
source=("git+https://github.com/Boolector/btor2tools.git")
sha256sums=('SKIP')
pkgver() {
cd $_pkgname
printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
build() {
cmake -B build -S "$_pkgname" \
-DCMAKE_INSTALL_PREFIX='/usr'
make -C build
}
package() {
make -C build DESTDIR="$pkgdir" install
install -Dm644 -t "$pkgdir/usr/share/licenses/$pkgname/" "$_pkgname/LICENSE.txt"
}
|