.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

pkgbase = ikos
	pkgdesc = A static analyzer for C and C++ developed by NASA
	pkgver = 2.0
	pkgrel = 2
	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 = llvm40
	depends = llvm40-libs
	depends = clang40
	depends = apron-ppl-svn
	source = https://github.com/nasa-sw-vnv/ikos/releases/download/v2.0/ikos-2.0.tar.gz
	sha256sums = 03a93794651e51e639c47b8ef821f923f7951a11669a7ad3230a68f5f27e1c5f

pkgname = ikos