diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2010-05-02 21:41:18 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2010-05-02 21:41:18 +0000 |
| commit | f3378f3c9d734c64aee5e4bdcf6de656362089dd (patch) | |
| tree | 91c4180b8130a72372e784daa04cb0c6dcc6bb68 /www | |
| parent | cc2a341da52e22b5b2ed47ccebf3b51950bad5bf (diff) | |
| download | klee-f3378f3c9d734c64aee5e4bdcf6de656362089dd.tar.gz | |
Added a link to a version of uclibc that compiles on x64. Thanks to
Cristian Zamfir for sharing this version with everybody. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102878 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
| -rw-r--r-- | www/GetStarted.html | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index 9e03e1df..20086600 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -105,9 +105,15 @@ library.</p> <li>Download KLEE's uClibc: <ul> <li> - KLEE uses a version of <a href="http://uclibc.org">uClibc</a> which has - been modified slightly for use with KLEE. It is available for download - here: <a href="http://t1.minormatter.com/~ddunbar/klee-uclibc-0.01.tgz">klee-uclibc-0.01.tgz</a>. + KLEE uses a version of <a href="http://uclibc.org">uClibc</a> + which has been modified slightly for use with KLEE. + <ul> + <li>A version that works on 32-bit Linux can be found + here: <a href="http://t1.minormatter.com/~ddunbar/klee-uclibc-0.01.tgz">klee-uclibc-0.01.tgz</a></li> + <li>A version that works on 64-bit Linux can be found + here: <a href="http://www.doc.ic.ac.uk/~cristic/klee-uclibc-0.01-x64.tgz">klee-uclibc-0.01-x64.tgz</a> + </li> + </ul> </li> </ul> </li> |