updated build

1 files changed, 9 insertions, 10 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 89e4d857d5a8..ffacb4f73512 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"
 }