diff options
| -rw-r--r-- | www/GetStarted.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index adbf7318..9e03e1df 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -33,11 +33,11 @@ targets.<p> <ol> <li>Install llvm-gcc: <ul> - <li>Download and install the LLVM 2.5 release of <tt>llvm-gcc</tt> + <li>Download and install the LLVM 2.6 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> - steps. <tt>llvm-gcc</tt> will be used later to compile programs that KLEE + steps. <tt>llvm-gcc</tt> will be used later to compile programs that KLEE can execute.</li> </ul> </li> |