blob: b01f2105380dd3fb8929dbee5ec8dc3a2f8159e9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
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>
|
