Hi Donald, > On 09 Apr 2015, at 03:53, Donald Raikes <don.rai...@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_now...@tu-dresden.de ----------------------------------------------------
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
