diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-04 11:17:10 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-04 11:17:10 +0000 |
| commit | 215c1587aab5fa94fd805fe8e0b5fbacc51f1c8e (patch) | |
| tree | da8d589427569894f4aff837a73c87fc687e9425 /www | |
| parent | 9b5e99905e6732d64522d0efc212f3f1ce290ccc (diff) | |
| download | klee-215c1587aab5fa94fd805fe8e0b5fbacc51f1c8e.tar.gz | |
Added more info on dependencies and a link to Andrei Porumb's recent post on installing KLEE on Ubuntu 12.04
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165221 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
| -rw-r--r-- | www/GetStarted.html | 32 |
1 files changed, 18 insertions, 14 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index a4f141e3..9e46ffbc 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -64,6 +64,21 @@ case you will need to follow the full installation instructions below. <ol> +<li><b>Install dependencies:</b> + +KLEE requires all the dependencies of LLVM, which are discussed <a href="http://llvm.org/docs/GettingStarted.html#requirements">here</a>. In particular, you should have the following packages (the list is likely not complete): g++, curl, dejagnu, subversion, bison, flex: + <div class="instr"> + $ sudo apt-get install g++ curl dejagnu subversion bison flex (Ubuntu) <br/> + $ sudo yum install g++ curl dejagnu subversion bison flex (Fedora) + </div> +</p> + +On some architectures, you might also need to set the following environment variables (best to put them in a config file like <b>.bashrc</b>): + <div class="instr"> + $ export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu <br/> + $ export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu + </div> + <li><b>Build LLVM 2.9:</b> <p> @@ -138,20 +153,6 @@ used KLEE with a more recent version of STP.) </li> -<li> <b>Install any remaining dependencies:</b> - -<p> -KLEE requires all the dependencies -of LLVM, which are discussed <a href="http://llvm.org/docs/GettingStarted.html#requirements">here</a>. In particular, you need to have <a href="http://www.gnu.org/software/dejagnu/">dejagnu</a> installed, which is typically available as part of standard Linux distributions: - <div class="instr"> - $ sudo apt-get install dejagnu (Ubuntu) <br/> - $ sudo yum install dejagnu (Fedora) - </div> -</p> -</li> - - - <li>[Optional] <b>Build uclibc and the POSIX environment model:</b> <p> @@ -229,6 +230,9 @@ runtime, which is built on top of the uClibc C library. to try KLEE.</li> </ol> +<p><b>NOTE:</b> If you are installing the system of Ubuntu 12.04 (or similar), you might want to take a look at this <a href="http://keeda.stanford.edu/pipermail/klee-dev/2012-September/000922.html">thread</a>.</p> +<br/> + </div> </body> </html> |