Download Stratego/XT
Stratego -- Strategies for Program Transformation
Stratego/XT is available in several ways:
- Users of Stratego/XT or packages based on Stratego/XT typically just want to download the latest release.
- Developers of software based on Stratego/XT typically want to use the latest integration build.
- Stratego/XT developers, working on Stratego/XT itself, need to checkout the latest sources.
The integration builds are currently most up-to-date and are advised for end-users and developers.
Due to migration of the buildfarm to TUD, no RPMs are available for the latest releases.
Using the
Nix package management system provides the easiest way to easily
install the latest binary releases.
Integration Builds
The Stratego/XT packages integration build provides a heavily tested release of the latest version of Stratego/XT, its dependencies, and packages based on Stratego/XT. The packages are guaranteed to work together without any problems. The latest successful integration build is available at:
Installing more recent releases of individual packages (see
continuous build) might result in incompatible combinations of packages, so this is discouraged.
How to install?
Nix Channel. We advice to use the
Nix package manager for installing packages from our release management system. To keep your installation up to date, we advice to subscribe to the
strategoxt-packages Nix channel, as explained on the
release page of strategoxt-packages.
Nix Package. You can use the
Nix package manager to install packages (without subscribing to the
strategoxt-packages Nix channel) by clicking on the link for your platform of the package that you want to install (see the table at the channel page). If your browser asks what to do with this file, choose to open it using
/nix/bin/nix-install-package.
Source. The integration build provides links to the releases that have been built and tested for this integration build. At the release pages of the individual packages, you will find source distributions.
RPM. Many packages also provide RPMs. Similar to installation from source, you can find RPMs at the release pages of the individual packages.
Binary Windows Archive. Some packages provide support for native Microsoft Windows. In this case the release page of the individual package provides a link to a .zip file that you can extract to any location in your file system. You don't need to install Cygwin.
Detailed instructions
See the
installation instructions if you are not familiar with the standard installation procedure of source tarballs or RPMs.
Continuous Builds
The
Nix buildfarm continuously builds Stratego/XT and related packages. The distributions contain the latest of the latest developments. Although the distributions are thoroughly tested by the buildfarm, such an installation is not guaranteed to be stable. Most users should not install the latest unstable releases, but rather use the the latest succesful
integration build.
Continuous releases are available at:
Stratego/XT Base Packages
The aterm and sdf2-bundle
Nix channels available at the
meta-environment index might provide releases that are not yet supported by the latest strategoxt, for this reason we provide an integration build of the latest strategoxt, aterm and sdf2-bundle available at:
Note that the
integration build strategoxt-packages is more stable, since packages based on Stratego/XT are integrated there as well.
Stratego/XT extensions
Not all Stratego related packages are in the Stratego/XT distribution.
Stratego/XT Extensions points you to releases, daily distributions, and the latest sources of these packages.
Subversion
The most recent sources can be obtained from Subversion. Please note that doing this is useless if you don't actually want to modify the sources. If you just want to have the latest developments as a user, using an usstable distribution is the best way to get this hot stuff.
For instructions on how to obtain the latest sources please see the
manual.
Older Releases
Older releases of Stratego/XT and Stratego are still available: