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 +++++++---- www/index.html | 13 +++++----- www/install.html | 72 ----------------------------------------------------- 3 files changed, 15 insertions(+), 84 deletions(-) delete mode 100644 www/install.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. diff --git a/www/index.html b/www/index.html index 4b9e5f3b..e789bf56 100644 --- a/www/index.html +++ b/www/index.html @@ -16,17 +16,16 @@

    KLEE is a symbolic virtual machine built on top of - the LLVM compiler infrastructure.

    + the LLVM compiler infrastructure, and available + under the UIUC open source license.

    -

    Stay tuned for more information on public availability. For now, - there is some information available on - the Stanford - Checking Group wiki.

    - -

    For more information, see +

    For more information on what KLEE is and what it can do, see the OSDI 2008 paper.

    +

    If you are interested in trying it yourself, please + see Getting Started.

    + diff --git a/www/install.html b/www/install.html deleted file mode 100644 index 79aeb4b1..00000000 --- a/www/install.html +++ /dev/null @@ -1,72 +0,0 @@ - - - - - - The KLEE Symbolic Virtual Machine - - - - - -
    - -

    KLEE Installation Guide

    - - -

    Minimal Installation

    -
      -
    1. Obtain the current version - of LLVM via - SVN. Build the release version of LLVM and install the GCC - front end as well. Follow the instructions - at Getting - Started with the LLVM System.
      2. - -
    2. Obtain the current version of KLEE via SVN (readonly access): -
      svn co http://llvm.org/svn/llvm-project/klee/trunk klee
      -
      3. - -
    3. Configure KLEE: -
      - ./configure --with-llvm=path/to/llvm ENABLE_OPTIMIZED=1 -
      - -

      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 -
      -
      4. - -
    4. Build the release version of KLEE: -
      - make -
      -
      5. - -
    5. Run the test suite. You should have no unexpected failures.but - please report any such failures. -
      - make test -
      -
      6. - -
    6. You're ready to go! Go to the Tutorials page to try KLEE.
      7. -
    - - - - - - - - - - - - -
    - - -- cgit 1.4.1