From ad0a8487befec13b356c58dd1109b169f0e9e231 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sat, 31 Jul 2010 04:13:53 +0000
Subject: Update getting started page to recommend 2.7 instead of 2.6.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@109941 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/GetStarted.html | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/www/GetStarted.html b/www/GetStarted.html
index 84b36677..76e741c8 100644
--- a/www/GetStarted.html
+++ b/www/GetStarted.html
@@ -33,7 +33,7 @@ targets.<p>
 <ol>
   <li>Install llvm-gcc:
     <ul>
-      <li>Download and install the LLVM 2.6 release of <tt>llvm-gcc</tt>
+      <li>Download and install the LLVM 2.7 release of <tt>llvm-gcc</tt>
         from <a href="http://llvm.org/releases/download.html">here</a>.  Add
         <tt>llvm-gcc</tt> to your <tt>PATH</tt>. It is important to do this first
         so that <tt>llvm-gcc</tt> is found in subsequent <tt>configure</tt>
@@ -42,14 +42,14 @@ targets.<p>
     </ul>
   </li>
 
-  <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
+  <li><a href="http://llvm.org/releases/download.html#2.7">Download and build
+      LLVM 2.7</a> (you may also use SVN head, but klee may not always be
       up-to-date with LLVM API changes).
     
     <div class="instr">
-      $ 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>
+      $ curl -O http://llvm.org/releases/2.7/llvm-2.7.tgz <br>
+      $ tar zxvf llvm-2.7.tgz <br>
+      $ cd llvm-2.7 <br>
       $ ./configure --enable-optimized <br>
       $ make
     </div>
-- 
cgit 1.4.1