summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: bf5f8ea44c5e8367f8176697c65c51e192c79106 (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-git
	pkgdesc = Static analyzer for C and C++ developed by NASA
	pkgver = 3.2.r481.1185cc8
	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 = intel-tbb
	depends = llvm14
	depends = llvm14-libs
	depends = clang14
	depends = ppl
	depends = apron
	provides = ikos
	source = ikos-git::git+http://github.com/nasa-sw-vnv/ikos.git
	sha256sums = SKIP

pkgname = ikos-git