The following software will be used in the LabAssignments
Using Nix Channel
All software is available in a Nix Channel. See getting started
for instructions how to use this channel.
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 all need to be configured. Tip:
If you install everything at the same prefix, then the configuration of the
arguments is not necessary.
For the configuration of the tarballs first follow the installation instructions for Stratego/XT
to install aterm, sdf2-bundle and strategoxt. Next, configure and install strategoxt-utils:
refers to the prefix of that package. The configuration of stratego-shell is exactly the same. The configuration of Tiger is a bit more complex:
The packages might change during the course, so it might be a good idea to write a script that installs this stuff. Please contribute your script if you have done this (by sending a link to
Course specific questions can be send to
. Stratego questions can also be send to
. We also have an IRC channel for Stratego: