diff options
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | PKGBUILD | 8 |
2 files changed, 5 insertions, 5 deletions
@@ -1,7 +1,7 @@ pkgbase = btor2tools-unstable-git pkgdesc = A generic parser and tool package for the BTOR2 format. pkgver = r77.9831f99 - pkgrel = 1 + pkgrel = 2 url = https://github.com/Boolector/btor2tools arch = any license = MIT @@ -1,7 +1,7 @@ # Maintainer: Azat Abdullin <abdullin@kspt.icc.spbstu.ru> pkgname=btor2tools-unstable-git pkgver=r77.9831f99 -pkgrel=1 +pkgrel=2 pkgdesc="A generic parser and tool package for the BTOR2 format." arch=('any') url="https://github.com/Boolector/btor2tools" @@ -14,13 +14,13 @@ sha256sums=('SKIP') sha512sums=('SKIP') pkgver() { - cd btor2tools + cd "$srcdir/btor2tools" printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" } build() { cd "$srcdir/btor2tools" - CFLAGS="" ./configure.sh --static + CFLAGS="" ./configure.sh cd build make } @@ -37,6 +37,6 @@ package() { mkdir -p "$includedir" install -m755 ./build/bin/* "$bindir" - install -m755 ./build/lib/*.a "$libdir" + install -m755 ./build/lib/*.so "$libdir" install -m755 ./src/btor2parser/*.h "$includedir" } |