[klee-dev] klee configure missing header files

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>