.SRCINFO


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

# Generated by mksrcinfo v8
# Wed Oct 25 06:40:11 UTC 2017
pkgbase = ikos
	pkgdesc = A static analysis tool for C/C++ developed by NASA
	pkgver = 1.3
	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 = llvm40
	depends = llvm40-libs
	depends = clang40
	source = https://ti.arc.nasa.gov/m/opensource/downloads/ikos-1.3.tar.gz
	source = https://ti.arc.nasa.gov/m/opensource/downloads/ikos/IKOS_NASA_Open_Source_Agreement.pdf
	source = CMakeLists.patch
	sha512sums = cec1b914bd1a7ca449098a2393baae35f066498ef99982f7b876aaa1590ea0e752441336093184285dccce392a326824a7a1e47cc04e9406df826870874fa147
	sha512sums = 3caeffbe06254b3a181eee1f172bde48d7c8007e989b07928b0ce4e737759d5e2649d25419722c3b7a78ca8ddf408ce150a143490489641527cbcac479c241b7
	sha512sums = 59b0fc0cd11979b2d341c776efcbc4acb8ef514610dbd04d2436a8a56f8daa6f7eb3041691770ca62037911f255bb6926fafa9d81d574ed2f13111a4d39a474c

pkgname = ikos