diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..ff7319c003ca --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,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 + |