diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-05-22 06:07:50 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-05-22 06:07:50 +0000 |
| commit | 21bbf33d53209f1bc30562b1bebb9f568c5c7360 (patch) | |
| tree | 0aba734899f6364e62878dc518cf98911817b610 /www/install.html | |
| parent | 7855e18aa4c702a92c6aa6ec75c9dd2a07ea1ca4 (diff) | |
| download | klee-21bbf33d53209f1bc30562b1bebb9f568c5c7360.tar.gz | |
Some minor web page tweaks.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72247 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/install.html')
| -rw-r--r-- | www/install.html | 72 |
1 files changed, 0 insertions, 72 deletions
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 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" - "http://www.w3.org/TR/html4/strict.dtd"> -<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ --> -<html> -<head> - <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> - <title>The KLEE Symbolic Virtual Machine</title> - <link type="text/css" rel="stylesheet" href="menu.css"> - <link type="text/css" rel="stylesheet" href="content.css"> -</head> -<body> -<!--#include virtual="menu.html.incl"--> -<div id="content"> - <!--*********************************************************************--> - <h1>KLEE Installation Guide</h1> - <!--*********************************************************************--> - - <h2> Minimal Installation </h2> - <ol> - <li> Obtain the current version - of <a href="http://llvm.org/releases/download.html#svn">LLVM via - SVN</a>. Build the release version of LLVM and install the GCC - front end as well. Follow the instructions - at <a href="http://llvm.org/docs/GettingStarted.html">Getting - Started with the LLVM System</a>.</li> - - <li> Obtain the current version of KLEE via SVN (readonly access): - <div class="code">svn co http://llvm.org/svn/llvm-project/klee/trunk klee</div> - </li> - - <li> Configure KLEE: - <div class="code"> - ./configure --with-llvm=<i>path/to/llvm ENABLE_OPTIMIZED=1</i> - </div> - - <p>This assumes that you compiled LLVM in-place. If you used a - different directory for the object files then use: - <div class="code"> - ./configure --with-llvmsrc=<i>path/to/llvm/src</i>--with-llvmobj=<i>path/to/llvm/obj</i> - </div> - </li> - - <li> Build the release version of KLEE: - <div class="code"> - make - </div> - </li> - - <li> Run the test suite. You should have no unexpected failures.but - please <a href="bugs.html">report</a> any such failures. - <div class="code"> - make test - </div> - </li> - - <li> You're ready to go! Go to the <a href="tutorials.html">Tutorials</a> page to try KLEE.</li> - </ol> - -<!-- <h2> Full Installation </h2> --> - -<!-- If you need uCLibc and/or POSIX support add <i>-with-uclibc</i> --> -<!-- and <i>-enable-posix-runtime</i> to configure. Thus, to enable --> -<!-- both, replace step 3 above with: --> - -<!-- <div class="code"> --> -<!-- ./configure -with-llvm=<i>path/to/llvm</i> -with-uclibc -enable-posix-runtime ENABLE_OPTIMIZED=1 --> -<!-- </div> --> -<!-- However, note that... --> - -</div> -</body> -</html> |