diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-10-25 00:31:01 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-10-25 00:31:01 +0000 |
| commit | c846affd2d21421d9b10e33b3fe4e3281b0f2655 (patch) | |
| tree | 0cafcb3c43933c8c8b6261b02cde1b5a68e07f36 | |
| parent | 3264dcd97024250729183ed6398c5d8a9aa7472d (diff) | |
| download | klee-c846affd2d21421d9b10e33b3fe4e3281b0f2655.tar.gz | |
Update instructions to suggest using LLVM 2.6.
Also, link TestingCoreutils document from tutorials page. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85025 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | www/GetStarted.html | 10 | ||||
| -rw-r--r-- | www/Tutorials.html | 3 |
2 files changed, 9 insertions, 4 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index ee78ff44..adbf7318 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -42,12 +42,14 @@ targets.<p> </ul> </li> - <li><a href="http://www.llvm.org/docs/GettingStarted.html#checkout">Checkout - and build LLVM</a> from SVN head (LLVM 2.5 will not work): + <li><a href="http://llvm.org/releases/download.html#2.6">Download and build + LLVM 2.6</a> (you may also use SVN head, but klee may not always be + up-to-date with LLVM API changes). <div class="instr"> - $ svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm <br> - $ cd llvm <br> + $ curl -O http://llvm.org/releases/2.6/llvm-2.6.tar.gz <br> + $ tar zxvf llvm-2.6.tar.gz <br> + $ cd llvm-2.6 <br> $ ./configure --enable-optimized <br> $ make </div> diff --git a/www/Tutorials.html b/www/Tutorials.html index 21ca3f29..e4a027d7 100644 --- a/www/Tutorials.html +++ b/www/Tutorials.html @@ -20,6 +20,9 @@ <li><a href="Tutorial-2.html">Tutorial Two</a>: Testing a simple regular expression library.</li> + + <li><a href="TestingCoreutils.html">Testing Coreutils</a>: In depth + description of how to use KLEE to test GNU Coreutils..</li> </ol> |