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/install.html | 72 -------------------------------------------------------- 1 file changed, 72 deletions(-) delete mode 100644 www/install.html (limited to 'www/install.html') 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