From 11431b33398ad6ee8eea3eafce4e29d61567e526 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Wed, 15 Aug 2012 18:25:40 +0000
Subject: Added dejagnu to the installation instructions.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161968 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/GetStarted.html | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'www')

diff --git a/www/GetStarted.html b/www/GetStarted.html
index db95e33a..e9568269 100644
--- a/www/GetStarted.html
+++ b/www/GetStarted.html
@@ -56,6 +56,7 @@ The only requirement is that you are running a reasonably-modern x86-Linux distr
 <p>The current procedure for building is outlined below.</p>
 
 <ol>
+
 <li><b>Build LLVM 2.9:</b>
 
 <p>
@@ -129,6 +130,21 @@ used KLEE with a more recent version of STP.)
 </div>
 </li>
 
+
+<li> <b>Install any remaining dependencies:</b> 
+
+<p>
+KLEE requires all the dependencies
+of LLVM, which are discussed <a href="http://llvm.org/docs/GettingStarted.html#requirements">here</a>.  In particular, you need to have <a href="http://www.gnu.org/software/dejagnu/">dejagnu</a> installed, which is typically available as part of standard Linux distributions:
+    <div class="instr">
+      $ sudo apt-get install dejagnu (Ubuntu) <br/>
+      $ sudo yum install dejagnu (Fedora)
+    </div>
+</p>
+</li>
+
+
+
 <li>[Optional] <b>Build uclibc and the POSIX environment model:</b>
 
 <p>
-- 
cgit 1.4.1