Course Software

Pt04

Software
- Using Nix Channel
- Using RPMs or Tarballs
Documentation
Questions

Software

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 --with-... 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:

  --with-aterm=$aterm
  --with-sdf=$sdf
  --with-strategoxt=$strategoxt

Where $... 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:

  --with-aterm=$aterm
  --with-sdf=$sdf
  --with-strategoxt=$strategoxt
  --with-strategoxt-utils=$strategoxtUtils
  --enable-tiger
  --enable-ir
  --enable-asm

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 pt@cs.uu.nl).

Documentation

Stratego/XT Documentation
Latest API and source documentation of the Stratego Library

Questions

Course specific questions can be send to pt@cs.uu.nl. Stratego questions can also be send to stratego@cs.uu.nl. We also have an IRC channel for Stratego: #stratego at irc.freenode.com.