From f3378f3c9d734c64aee5e4bdcf6de656362089dd Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Sun, 2 May 2010 21:41:18 +0000
Subject: 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
---
 www/GetStarted.html | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'www')

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>
-- 
cgit 1.4.1