diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-07-31 04:13:53 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-07-31 04:13:53 +0000 |
| commit | ad0a8487befec13b356c58dd1109b169f0e9e231 (patch) | |
| tree | ba3af73ab3e665208c4908b74cd7d8af254a4eea /www | |
| parent | 1c983524d05fb4b3b21a2836662f63f27774d01c (diff) | |
| download | klee-ad0a8487befec13b356c58dd1109b169f0e9e231.tar.gz | |
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
Diffstat (limited to 'www')
| -rw-r--r-- | www/GetStarted.html | 12 |
1 files 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> |