[klee-dev] Klee is not compiled on Ubuntu 16.02

[Martin Nowack]

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 <re.ahmdi at gmail.com> 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 | ahmadi at cs.queensu.ca
> 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 | ahmadi at cs.queensu.ca
> https://sites.google.com/site/reahmdi/
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> 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: 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/20160720/9156e778/attachment.sig>