Course Software

%TOC%

---++ Software

The following software will be used in the [[lab assignments]] :

   * [[http://www.aterm.org][ATerm Library]]
   * [[http://www.syntax-definition.org][SDF2 Bundle]]
   * [[http://www.stratego-language.org][Stratego/XT]]
   * [[http://www.stratego-language.org/Stratego/StrategoShell][Stratego Shell]]
   * [[http://www.stratego-language.org/Stratego/JavaFront][Java-front]]
   * [[http://www.stratego-language.org/Stratego/TheDryad][Dryad]]

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 [[GettingStarted][getting started]] for instructions how to use this channel.
   * http://nix.cs.uu.nl/dist/courses/nixpkgs-pt-unstable-latest/

Nix is available at:
   * http://www.cs.uu.nl/wiki/Trace/Nix

---+++ Using RPMs or Tarballs

If you cannot use the Nix channel, then you will need to install the following packages:

   * [[http://nix.cs.uu.nl/dist/stratego/aterm-2.4.2/][aterm 2.4.2]]
   * [[http://catamaran.labs.cs.uu.nl/dist/stratego/sdf2-bundle-unstable-latest/][latest sdf2-bundle]]
   * [[http://catamaran.labs.cs.uu.nl/dist/stratego/strategoxt-unstable-latest/][latest strategoxt]]
   * [[http://catamaran.labs.cs.uu.nl/dist/stratego/stratego-shell-unstable-latest/][latest stratego-shell]]
   * [[http://catamaran.labs.cs.uu.nl/dist/stratego/java-front-unstable-latest/][latest java-front]]
   * [[http://catamaran.labs.cs.uu.nl/dist/stratego/dryad-unstable-latest/][latest dryad]]

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 [[http://nix.cs.uu.nl/dist/stratego/strategoxt-manual-unstable-latest/manual/installation.html][installation instructions for Stratego/XT]].

---++ 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: [[irc://irc.freenode.net/#stratego][irc.freenode.com/#stratego]].