Installation instructions for Daedalus
======================================

Automatic Installation
----------------------
You can use the BASH script named `setup_daedalus.sh` (exists in the same 
directory as this file) to install Daedalus automatically. This can be done 
by executing the following commands:

  mkdir daedalus
  cd daedalus
  wget http://daedalus.liacs.nl/daedalus/release_20120907/setup_daedalus.sh
  chmod +x setup_daedalus.sh
  ./setup_daedalus.sh [-s systemc-path] [-j jdk-path] [-h] [-c] [-d]

The script takes two optional parameters which are the path to Java JDK and 
SystemC. If omitted, then the script searches for JDK automatically, and 
assumes that SystemC is installed at $HOME/systemc-2.2.0. The full list of the 
script options can be display be passing "-h" as an option. 

That's all!
Todor Stefanov (stefanov@liacs.nl), 07.09.2012