The distribution of the Tiger in Stratego project.

Download

Source (.tar.gz) and RPM distributions are available at: (scroll to the Tiger releases)

The latest official release is 1.2, but using this version is discouraged (use the latest unstable release in at the previous URL)

Subversion repository

To checkout the latest sources:

  svn checkout https://svn.cs.uu.nl:12443/repos/StrategoXT/trunk/tiger/

Requirements

To build and use the tiger package, a complete installation of StrategoXT, SDF2, and the ATerm library is needed. These dependencies can be obtained from the StrategoDownload page.

Installation of Source Distribution

The Tiger source distribution is a tar file compressed with gzip. The source trees are configured using AutoMake? and AutoConf? and require GNU Make (gmake) for building.

Installation of the tiger package involves the following steps:

> gunzip tiger-1.2.tar.gz
> tar xf tiger-1.2.tar
> cd tiger-1.2
> ./configure --prefix=/tmp/tiger --with-xt=/usr
> gmake
> gmake install

This assumes that StrategoXT, aterm, and sdf2 are installed in /usr.

Installation of Subversion Snapshots

To build and install the subversion snapshot, or a direct checkout of the repository, it is necessary to create the makefiles and configure script using the bootstrap script.

> svn checkout <see above>
> cd tiger
> ./bootstrap
> ./configure --prefix=/tmp/tiger --with-xt=/usr
> gmake install

Note that it is necessary to gmake install instead of gmake, since the subpackages depend on each other. This assumes that StrategoXT, aterm, and sdf2 are installed in /usr.

-- EelcoVisser - 24 Sep 2003

Revision: r1.18 - 18 Nov 2004 - 10:41 - AkimDemaille
Tiger > DownloadAndInstallation
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback