about summary refs log tree commit diff homepage
path: root/www/install.html
diff options
context:
space:
mode:
Diffstat (limited to 'www/install.html')
-rw-r--r--www/install.html72
1 files changed, 72 insertions, 0 deletions
diff --git a/www/install.html b/www/install.html
new file mode 100644
index 00000000..b01f2105
--- /dev/null
+++ b/www/install.html
@@ -0,0 +1,72 @@
+<!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>