blob: ff7319c003ca9369821757de5518e0edb762373e (
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
|
pkgbase = ikos
pkgdesc = A static analysis tool for C/C++ developed by NASA
pkgver = 1.0.0
pkgrel = 1
url = https://ti.arc.nasa.gov/opensource/ikos/
arch = any
license = custom:NOSA 1.3
makedepends = cmake
makedepends = boost
depends = gmp
depends = boost-libs
depends = python
depends = sqlite
depends = llvm
depends = llvm-libs
depends = clang
source = https://ti.arc.nasa.gov/m/opensource/downloads/ikos/ikos-1.0.0.tar.gz
source = https://ti.arc.nasa.gov/m/opensource/downloads/ikos/IKOS_NASA_Open_Source_Agreement.pdf
source = llvm-3.8.patch
sha512sums = d8b71d401d002ee22d39b4c68ecd97ba098d334fa966cf6b0d4f3328bdd85fa60b68d3c66543f154933dbb4dd53247422243cdb12418338d85a6ef8bb35b9051
sha512sums = 3caeffbe06254b3a181eee1f172bde48d7c8007e989b07928b0ce4e737759d5e2649d25419722c3b7a78ca8ddf408ce150a143490489641527cbcac479c241b7
sha512sums = 2b0862679081be24772d2172fc1145833edf124f4ec54839925022428bb7db91e28e30be9fe8ccd0884f60526188db5ce1e621748e68b7e69e7423856a527596
pkgname = ikos
|