[klee-dev] klee configure missing header files

[Martin Nowack]

Hi Donald,
> On 09 Apr 2015, at 03:53, 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
You need package libacl1-dev
> selinux/selinux.h not found
libselinux1-dev
> malloc/malloc.h not found
This is strange.

Does the configure fail or do you just get warnings?
Maybe you can post the config.log on pastebin

Cheers,
Martin

---------------------------------------------------
Martin Nowack
Research Assistant

Technische Universität Dresden
Computer Science
Institute of Systems Architecture
Systems Engineering
01062 Dresden

Phone: +49 351 463 39608
Email: martin_nowack at tu-dresden.de
----------------------------------------------------

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150409/42f8dee8/attachment.sig>