.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
28

pkgbase = klee
	pkgdesc = Symbolic virtual machine built on top of the LLVM compiler infrastructure
	pkgver = 3.1
	pkgrel = 17
	url = https://klee.github.io/
	arch = x86_64
	license = custom:UIUC
	checkdepends = python-tabulate
	makedepends = gperftools
	makedepends = z3
	makedepends = llvm16
	makedepends = clang16
	makedepends = cmake
	makedepends = git
	depends = gperftools
	depends = z3
	depends = libcap
	depends = python
	depends = llvm16-libs
	depends = klee-uclibc
	depends = sqlite
	provides = klee=3.1
	source = git+https://github.com/klee/klee.git#tag=v3.1
	source = git+https://github.com/google/googletest.git#tag=release-1.11.0
	md5sums = SKIP
	md5sums = SKIP

pkgname = klee