Added dejagnu to the installation instructions.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161968 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 16 insertions, 0 deletions

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>