Hi, Please use the following guide for LLVM 3.4: https://klee.github.io/build-llvm34/
Higher versions are currently not supported. Cheers, Martin > On 20 Jul 2016, at 05:42, Reza Ahmadi <[email protected]> wrote: > > Hi, > > I have tried many ways to build Klee i.e. tried LLVM 3.4, 3.7, 3.8, but it > does not compile cleanly. I even have tried some available scripts to build > it, but all have failed. > > Any comments is highly appreciated. > > -- > Reza Ahmadi > Ph.D. student > Software Technology lab > 624 Goodwin Hall > Queen's University, Kingston, ON > +1 (613) 7708830 | [email protected] > https://sites.google.com/site/reahmdi/ > > > > > -- > Reza Ahmadi > Ph.D. student > Software Technology lab > 624 Goodwin Hall > Queen's University, Kingston, ON > +1 (613) 7708830 | [email protected] > https://sites.google.com/site/reahmdi/ > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev --------------------------------------------------- Martin Nowack Research Assistant Technische Universität Dresden Computer Science Institute of Systems Architecture Systems Engineering 01062 Dresden Phone: +49 351 463 39608 Email: [email protected] ----------------------------------------------------
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
