The following software will be used in the lab assignments
Although Stratego/XT supports Linux, Mac OS X, and Cygwin, the packages Java-front (not at Cygwin) and Dryad (only Linux) are currently less portable. So, you are required to work on a Linux machine.
Using Nix Channel
All software is available in a Nix channel. See getting started
for instructions how to use this channel.
Nix is available at:
Using RPMs or Tarballs
If you cannot use the Nix channel, then you will need to install the following packages:
Installation of RPMs is recommended, since the packages need to be configured and installation from source will take some time. For the configuration of the tarballs first follow the installation instructions for Stratego/XT
Course specific questions can be send to
. Stratego questions can also be send to
. We also have an IRC channel for Stratego: irc.freenode.com/#stratego