PT Course
Home
Education Page
Description
Schedule
Slides
Literature
Lab
Assignments
Software
Resources
Subversion Server
Stratego/XT Manual
Stratego Library
Dryad Library
Java Syntax
Stratego/Java Syntax
JLS
JVM: Class files
Contact
Mailing List
IRC
Eelco Visser
Martin Bravenboer
Center for ST
Home
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Course Software
Pt
%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]].