diff options
author | Mr.Smith1974 | 2024-01-21 09:48:36 +0300 |
---|---|---|
committer | Mr.Smith1974 | 2024-01-21 09:48:36 +0300 |
commit | a26f932d99f71579f293b11df571a9f86d60d722 (patch) | |
tree | 9cd90d926c40cb0a4ef7e8967227965115d2030e | |
parent | e09771fe0ac9c9cccb42bcfc085180b1c411cea7 (diff) | |
download | aur-a26f932d99f71579f293b11df571a9f86d60d722.tar.gz |
updated build
-rw-r--r-- | .SRCINFO | 3 | ||||
-rw-r--r-- | PKGBUILD | 19 |
2 files changed, 11 insertions, 11 deletions
@@ -1,6 +1,6 @@ pkgbase = ikos-git pkgdesc = Static analyzer for C and C++ developed by NASA - pkgver = 3.1.r436.2e64743 + pkgver = 3.2.r481.1185cc8 pkgrel = 1 url = https://github.com/nasa-sw-vnv/ikos arch = i686 @@ -20,6 +20,7 @@ pkgbase = ikos-git depends = llvm14 depends = llvm14-libs depends = clang14 + depends = ppl depends = apron provides = ikos source = ikos-git::git+http://github.com/nasa-sw-vnv/ikos.git @@ -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" } |