[klee-dev] klee configure missing header files

[Chace Clark]

I am successfully running klee on ubuntu 14.04 64 bit, which is debian
based. If you follow the guide here:
http://blog.opensecurityresearch.com/2014/07/klee-on-ubuntu-1404-lts-64bit.html
It may help you.
FYI many things may not be detected during a configure step. Thats ok. The
important thing is to determine if it completed successfully. after
configure step run: echo $?
if its 0 it was successful, if not it had errors

On Wed, Apr 8, 2015 at 8:53 PM, Donald Raikes <don.raikes at nyu.edu> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed