blob: d6076e5a40982232376ce08a172f65333978c0fd (
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-git
pkgdesc = Static analyzer for C and C++ developed by NASA
pkgver = 2.1.r237.bf4ac4a
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
depends = gmp
depends = boost-libs
depends = python
depends = python-pygments
depends = sqlite
depends = llvm
depends = llvm-libs
depends = clang
depends = apron
provides = ikos
source = ikos-git::git://github.com/nasa-sw-vnv/ikos.git
sha256sums = SKIP
pkgname = ikos-git
|