diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 19 |
1 files changed, 9 insertions, 10 deletions
@@ -1,7 +1,7 @@ -# Maintainer: Maxime Arthaud <maxime@arthaud.me> +# Contributor: Maxime Arthaud <maxime@arthaud.me> pkgname=ikos-git -pkgver=3.1.r436.2e64743 +pkgver=3.2.r481.1185cc8 pkgrel=1 pkgdesc='Static analyzer for C and C++ developed by NASA' arch=('i686' 'x86_64' 'armv7h' 'armv6h' 'aarch64') @@ -17,6 +17,7 @@ depends=('gmp' 'llvm14' 'llvm14-libs' 'clang14' + 'ppl' 'apron') makedepends=('cmake' 'boost') @@ -31,13 +32,11 @@ pkgver() { "$(git rev-parse --short HEAD)" } -prepare() { +build() { cd "$srcdir/$pkgname" [[ -d build ]] && rm -rf build mkdir build && cd build -} -build() { cd "$srcdir/$pkgname/build" cmake \ -DCMAKE_BUILD_TYPE="Release" \ @@ -48,13 +47,13 @@ build() { make } -package() { +check() { cd "$srcdir/$pkgname/build" - make DESTDIR="$pkgdir" install - install -Dm644 "$srcdir/$pkgname/LICENSE.pdf" "$pkgdir/usr/share/licenses/ikos/LICENSE" + make check } -check() { +package() { cd "$srcdir/$pkgname/build" - make check + make DESTDIR="$pkgdir" install + install -Dm644 "$srcdir/$pkgname/LICENSE.pdf" "$pkgdir/usr/share/licenses/ikos/LICENSE" } |