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