[klee-dev] klee configure missing header files

[Donald Raikes]

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