diff options
-rw-r--r-- | .SRCINFO | 3 | ||||
-rw-r--r-- | PKGBUILD | 3 |
2 files changed, 4 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = ikos-git pkgdesc = Static analyzer for C and C++ developed by NASA - pkgver = 2.1.r237.bf4ac4a + pkgver = 3.0.r409.72c70c7 pkgrel = 1 url = https://github.com/nasa-sw-vnv/ikos arch = i686 @@ -16,6 +16,7 @@ pkgbase = ikos-git depends = python depends = python-pygments depends = sqlite + depends = intel-tbb depends = llvm depends = llvm-libs depends = clang @@ -1,7 +1,7 @@ # Maintainer: Maxime Arthaud <maxime@arthaud.me> pkgname=ikos-git -pkgver=2.1.r237.bf4ac4a +pkgver=3.0.r409.72c70c7 pkgrel=1 pkgdesc='Static analyzer for C and C++ developed by NASA' arch=('i686' 'x86_64' 'armv7h' 'armv6h' 'aarch64') @@ -13,6 +13,7 @@ depends=('gmp' 'python' 'python-pygments' 'sqlite' + 'intel-tbb' 'llvm' 'llvm-libs' 'clang' |