From 21bbf33d53209f1bc30562b1bebb9f568c5c7360 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Fri, 22 May 2009 06:07:50 +0000 Subject: Some minor web page tweaks. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72247 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/GetStarted.html | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) (limited to 'www/GetStarted.html') diff --git a/www/GetStarted.html b/www/GetStarted.html index 5f28b1d3..88fb05dc 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -19,13 +19,17 @@

Building KLEE and Working with the Code

-

If you would like to check out and build KLEE, the current procedure is as -follows:

- +

If you would like to try KLEE, the current procedure for building is +below.

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), and is +currently untested on any x86-64 target, although we hope to add support for +them soon.

+

  1. Install llvm-gcc:
  2. Checkout - and build LLVM from SVN head: + and build LLVM from SVN head (LLVM 2.5 will not work):
    svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm
    @@ -64,7 +68,7 @@ necessary, but KLEE runs very slowly in Debug mode).

    This assumes that you compiled LLVM in-place. If you used a different directory for the object files then use:

    - ./configure --with-llvmsrc=path/to/llvm/src--with-llvmobj=path/to/llvm/obj + ./configure --with-llvmsrc=path/to/llvm/src --with-llvmobj=path/to/llvm/obj
    3. -- cgit 1.4.1