diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-05-21 16:28:43 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-05-21 16:28:43 +0000 |
| commit | 4ce774750042043fca78f50575f154f68296ab18 (patch) | |
| tree | 1080d3c2b60a126a6e4f52662108ff837d02b23a /www/GetStarted.html | |
| parent | 69c4c5548d5e366113b376d77520df7f79142403 (diff) | |
| download | klee-4ce774750042043fca78f50575f154f68296ab18.tar.gz | |
Start basic Regexp.c example for klee.
- A few other web page tweaks. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72215 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/GetStarted.html')
| -rw-r--r-- | www/GetStarted.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index 07083d4f..5f28b1d3 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -39,12 +39,12 @@ Started with the LLVM System</a> for more information. <li><a href="http://www.llvm.org/docs/GettingStarted.html#checkout">Checkout and build LLVM</a> from SVN head: - <code class="instr"> <code> - svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm - cd llvm - ./configure --enable-optimized + <div class="instr"> + svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm <br> + cd llvm <br> + ./configure --enable-optimized <br> make - </code></code> + </div> (the <tt>--enable-optimized</tt> configure argument is not necessary, but KLEE runs very slowly in Debug mode). |