From 23b7f2edc9fa33f67c4875be458d178b3c4d3049 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Sun, 24 Jul 2011 22:45:52 +0000 Subject: Improved installation instructions a bit, and changed the "officially supported" version of LLVM from 2.7 to 2.8. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@135894 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/GetStarted.html | 55 ++++++++++++++++++++++++++++++----------------------- 1 file changed, 31 insertions(+), 24 deletions(-) (limited to 'www') diff --git a/www/GetStarted.html b/www/GetStarted.html index 5a41a1f2..7c2e60de 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -60,32 +60,39 @@ KLEE is built on LLVM; the first steps are to get a working LLVM installation. See Getting Started with the LLVM System for more information. -

NOTE: KLEE is only currently tested on Linux and Darwin x86-32 -targets, using LLVM top-of-tree. KLEE will not work with an older LLVM (e.g., -2.5). We are currently working on full support for Linux and Darwin x86-64 -targets.

+

NOTE: KLEE is only currently tested on Linux and Darwin +x86-32 and x86-64 targets, using LLVM 2.8. KLEE will not work with an +older LLVM (e.g., 2.5), and might not work with newer versions of LLVM +(e.g., 2.9 or 3.0)

  1. Install llvm-gcc:
      -
    • Download and install the LLVM 2.7 release of llvm-gcc - from here. Add - llvm-gcc to your PATH. It is important to do this first - so that llvm-gcc is found in subsequent configure - steps. llvm-gcc will be used later to compile programs that KLEE - can execute.
      • +
    • Download and install the LLVM 2.8 release of llvm-gcc + from here. + +
      Add llvm-gcc to your PATH. It + is important to do this first so that llvm-gcc is + found in subsequent configure + steps. llvm-gcc will be used later to compile + programs that KLEE can execute. +
      • + +
    • Forgetting to add llvm-gcc to your PATH at this point is + by far the most common source of build errors reported by new + users.
    2. -
  2. Download and build - LLVM 2.7 (you may also use SVN head, but klee may not always be +
  3. Download and build + LLVM 2.8 (you may also use SVN head, but klee may not always be up-to-date with LLVM API changes).
    - $ curl -O http://llvm.org/releases/2.7/llvm-2.7.tgz
    - $ tar zxvf llvm-2.7.tgz
    - $ cd llvm-2.7
    - $ ./configure --enable-optimized
    + $ curl -O http://llvm.org/releases/2.8/llvm-2.8.tgz
    + $ tar zxvf llvm-2.8.tgz
    + $ cd llvm-2.8
    + $ ./configure --enable-optimized --enable-assertions
    $ make
    @@ -125,8 +132,8 @@ targets.

  4. Run the regression suite to verify your build:
    - $ make check
    - $ make unittests
    + $ make check
    + $ make unittests
    5. @@ -161,9 +168,9 @@ library.

  5. Build uClibc with llvm-gcc:
    - $ tar zxvf klee-uclibc-0.01.tgz
    - $ ./configure --with-llvm=path/to/llvm
    - $ make
    + $ tar zxvf klee-uclibc-0.01.tgz
    + $ ./configure --with-llvm=path/to/llvm
    + $ make

    NOTE: KLEE's uClibc is shipped in a pre-configured for x86-32. If @@ -201,9 +208,9 @@ co command.

    1. Download and build STP.
      - $ svn co -r 940 https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp stp
      - $ cd stp
      - $ scripts/configure --with-prefix=path/to/stp/inst --with-cryptominisat2
      + $ svn co -r 940 https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp stp
      + $ cd stp
      + $ scripts/configure --with-prefix=path/to/stp/inst --with-cryptominisat2
      $ make OPTIMIZE=-O2 CFLAGS_M32= install
      2. -- cgit 1.4.1