diff options
Diffstat (limited to 'www/GetStarted.html')
| -rw-r--r-- | www/GetStarted.html | 10 |
1 files changed, 6 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> |