blob: 19e9002cb0f4326527e3c8055431a9d0b5477c12 (
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
29
|
pkgbase = ikos
pkgdesc = A static analyzer for C and C++ developed by NASA
pkgver = 2.0
pkgrel = 1
url = https://ti.arc.nasa.gov/opensource/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 = llvm40
depends = llvm40-libs
depends = clang40
depends = apron-ppl-svn
source = https://ti.arc.nasa.gov/m/opensource/downloads/ikos-2.0.tar.gz
source = https://ti.arc.nasa.gov/m/opensource/downloads/ikos/IKOS_NASA_Open_Source_Agreement.pdf
sha512sums = f3abb77e9d3d57b26cb0df7d26b1cb824441c178205edc7b92b3b137d6b2b12b9f7336d53f5135a8a0f114042c193419945553fac0f91b59235e8ed5849fb3d5
sha512sums = 3caeffbe06254b3a181eee1f172bde48d7c8007e989b07928b0ce4e737759d5e2649d25419722c3b7a78ca8ddf408ce150a143490489641527cbcac479c241b7
pkgname = ikos
|