blob: 490aa0536b04844b5420c387c6821ebfb36ffe5b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
pkgbase = ikos
pkgdesc = Static analyzer for C and C++ developed by NASA
pkgver = 3.5
pkgrel = 1
url = https://github.com/nasa-sw-vnv/ikos
arch = i686
arch = x86_64
arch = armv7h
arch = armv6h
arch = aarch64
license = custom:NOSA 1.3
makedepends = cmake
makedepends = boost
makedepends = llvm14
depends = gmp
depends = boost-libs
depends = python
depends = python-pygments
depends = sqlite
depends = intel-tbb
depends = llvm14
depends = llvm14-libs
depends = clang14
depends = ppl
source = ikos-3.5.tar.gz::https://github.com/NASA-SW-VnV/ikos/archive/refs/tags/v3.5.tar.gz
b2sums = 7af9fd5fe20d7ef86f9a550b542a59db4ada853c7a192b508067c17c4d3127b2a7594b1e03888085cbf941d7a35ea5a663eb8b3efc9e1f2026a8530340d9c324
pkgname = ikos
|