From c846affd2d21421d9b10e33b3fe4e3281b0f2655 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 25 Oct 2009 00:31:01 +0000
Subject: 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
---
 www/GetStarted.html | 10 ++++++----
 www/Tutorials.html  |  3 +++
 2 files changed, 9 insertions(+), 4 deletions(-)

(limited to 'www')

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>
 
 
-- 
cgit 1.4.1