pkgbase = ikos
	pkgdesc = Static analyzer for C and C++ developed by NASA
	pkgver = 3.5
	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
	makedepends = llvm14
	depends = gmp
	depends = boost-libs
	depends = python
	depends = python-pygments
	depends = sqlite
	depends = intel-tbb
	depends = llvm14
	depends = llvm14-libs
	depends = clang14
	depends = ppl
	source = ikos-3.5.tar.gz::https://github.com/NASA-SW-VnV/ikos/archive/refs/tags/v3.5.tar.gz
	b2sums = 7af9fd5fe20d7ef86f9a550b542a59db4ada853c7a192b508067c17c4d3127b2a7594b1e03888085cbf941d7a35ea5a663eb8b3efc9e1f2026a8530340d9c324

pkgname = ikos