diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-10-25 23:19:55 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-10-25 23:19:55 +0000 |
| commit | defa6b37735ab7daf7df69c7f62337c070a34fe4 (patch) | |
| tree | a77d4250cb6aa7734c1cd2898877d719fa3f75cf /www | |
| parent | c846affd2d21421d9b10e33b3fe4e3281b0f2655 (diff) | |
| download | klee-defa6b37735ab7daf7df69c7f62337c070a34fe4.tar.gz | |
Update instructions to suggest using llvm-gcc 2.6.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85080 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
| -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> |