From 215c1587aab5fa94fd805fe8e0b5fbacc51f1c8e Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 4 Oct 2012 11:17:10 +0000 Subject: Added more info on dependencies and a link to Andrei Porumb's recent post on installing KLEE on Ubuntu 12.04 git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165221 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/GetStarted.html | 32 ++++++++++++++++++-------------- 1 file changed, 18 insertions(+), 14 deletions(-) diff --git a/www/GetStarted.html b/www/GetStarted.html index a4f141e3..9e46ffbc 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -64,6 +64,21 @@ case you will need to follow the full installation instructions below.
    +
  1. Install dependencies: + +KLEE requires all the dependencies of LLVM, which are discussed here. In particular, you should have the following packages (the list is likely not complete): g++, curl, dejagnu, subversion, bison, flex: +
    + $ sudo apt-get install g++ curl dejagnu subversion bison flex (Ubuntu)
    + $ sudo yum install g++ curl dejagnu subversion bison flex (Fedora) +
    +

    + +On some architectures, you might also need to set the following environment variables (best to put them in a config file like .bashrc): +
    + $ export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu
    + $ export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu +
    +
  2. Build LLVM 2.9:

    @@ -138,20 +153,6 @@ used KLEE with a more recent version of STP.)

    3. -
  3. Install any remaining dependencies: - -

    -KLEE requires all the dependencies -of LLVM, which are discussed here. In particular, you need to have dejagnu installed, which is typically available as part of standard Linux distributions: -

    - $ sudo apt-get install dejagnu (Ubuntu)
    - $ sudo yum install dejagnu (Fedora) -
    -

    -
    4. - - -
  4. [Optional] Build uclibc and the POSIX environment model:

    @@ -229,6 +230,9 @@ runtime, which is built on top of the uClibc C library. to try KLEE.

+

NOTE: If you are installing the system of Ubuntu 12.04 (or similar), you might want to take a look at this thread.

+
+ -- cgit 1.4.1