To see the configurations on which KLEE is currently built, please take
a look at: https://travis-ci.org/klee/klee
I think it is best to move this discussion to GitHub, by opening a new
issue there.
Thank you,
Cristian
On 09/04/15 02:53, Donald Raikes wrote:
Hello,
I am trying to get klee installed on debian 7.8 64-bit.
I successfully installed llvm 3.4, stp, and have compiled kle-uClibc.
After checking klee out from the git repository, I try configuring it,
nad get the following errors:
sys/acl.h not found
selinux/selinux.h not found
malloc/malloc.h not found
Any ideas why this would be happening?
Thanks in advance,
Donald
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
