Installation Instructions 093

Stratego -- Strategies for Program Transformation

Download the required packages

First of all download the required packages (.tar.gz, RPMs or Source RPMs). The URLs are specified in the topic of the StrategoXT distribution you want to install.

StrategoXT is built using:

The Nancy Choice Point Library? (CPL) is optional. You don't need the CPL if you're unsure what to do.


Using source tarballs

Use the instructions in this section if you want to install StrategoXT using source tarballs (.tar.gz). All packages can be installed using the usual configure, make, make install, so if you are familiar with installing tarballs there is nothing special about installing StrategoXT and its dependencies.

Installation of aterm, sdf2-bundle and cpl

The following sequence of commands takes care of building and installing the aterm and the sdf2-bundle in /usr/local.

   tar zxf aterm-2.0.tar.gz
   cd aterm-2.0
   ./configure --with-gcc
   make
   make install
   cd ..

   tar zxf sdf2-bundle-1.6.tar.gz
   cd sdf2-bundle-1.6
   ./configure
   make
   make install
   cd ..
Configuring the aterm library --with-gcc limits the number of different aterm libraries that are installed. Just installing the gcc version makes installation of the aterm library more portable and is sufficient for StrategoXT.

If you want to install the packages at a different location, you should specify a --prefix in the configure command. If you want to install the packages at two different locations, you must configure the sdf2-bundle with the location prefix aterm. For example:

   ./configure --prefix=/opt/aterm --with-gcc
   ./configure --prefix=/opt/sdf2-bundle --with-aterm=/opt/aterm

As mentioned before you can optionally install the Nancy Choice Point Library?:

   tar zxf cpl-stratego-0.4.tar.gz
   cd cpl-stratego-0.4
   ./configure
   make
   make install
   cd ..
Of course you should specify a --prefix if you want to install the CPL with a different prefix then /usr/local.

Installation of StrategoXT

Unpack, configure, make and install StrategoXT using the following commands:

   tar zxf strategoxt-0.9.2.tar.gz
   cd strategoxt-0.9.2
   ./configure
   make
   make install
If you are installing a daily distribution the name of the tarball and the directory might be different.

If you want to install StrategoXT at a different prefix, you should specify a --prefix. If you installed the aterm library and the sdf2-bundle at a different location, you should specify their location using --with-aterm and --with-sdf. For example:

   ./configure --prefix=/opt/strategoxt--with-aterm=/opt/aterm --with-sdf=/opt/sdf2-bundle

To use the Nancy Choice Point Library? configure StrategoXT with the location of the cpl. For example:

   ./configure --with-cpl=/usr/local


Using source RPMs

TODO


Using binary RPMs

Install the RPMs by running the following command in the directory where you've downloaded the RPMs.

   rpm -i *

Use the upgrade option if you've already installed earlier versions of RPMs for aterm, strategoxt or the sdf2-bundle.

   rpm -U *
Of course you can also install the RPMs one by one by specifying the filenames of the RPMs.


Related topics


CategoryInstallation