[klee-dev] Build KLEE source code on Eclipse

[Martin Nowack]

Hi,

Following short list to give you quick start:

* checkout, configure and build KLEE on the command line
  - I assume the build directory is inside the KLEE sources
  - you should be able to run tests from there

* in Eclipse (with CDT plugin installed):
  - new C++ Project
    -> uncheck “use default location” and point to the source code location
    -> select “Linux GCC” as toolchain
    -> click next
    -> advanced settings:
        -> select "C/C++ Build" on the left side
            -> unselect “Generate Makefiles automatically”
            -> Update the "build directory" to point to the build directory inside your KLEE sources
	-> open "C/C++ General” on the left side and select “Paths and Symbols”
            -> add the LLVM include directory there to all languages and configuration
        -> ok
    -> Finish

Voila.

I’m currently using Eclipse Mars.

Let me know if you have any problems, or even better:
enhance that information and make a pull request here:
https://github.com/klee/klee.github.io
so we can update the documentation, maybe with some pictures.

Have fun,

Martin

> On 08 Sep 2015, at 09:38, felicia <felicia at comp.nus.edu.sg> wrote:
> 
> Hi,
> 
> I would like to use Eclipse for compiling and debug KLEE source code.
> So, I could trace it easily. Please inform me the right way to do it.
> 
> Thank you.
> 
> _______________________________________________
> 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/20150908/da49de33/attachment.sig>