Rigi Install

Program-Transformation.Org: The Program Transformation Wiki
This topic provides information for users of Rigi binary distributions. See also RigiDevelopment if you work with Rigi's source code.

Installing RigiEdit basically means that you have to extract the contents of the archive (ZIP, tar, etc.) into a new directory. This directory is referred to as $RIGI.

Linux with (ba)sh:

> mkdir rigibase
> cd rigibase
> export RIGI=`pwd`
> export PATH=$RIGI/bin:$PATH
> wget http://www.rigi.cs.uvic.ca/downloads/rigi/ix86-linux2/rigiedit-12-Jan-2003-bin.tar.gz
> gunzip rigiedit-12-Jan-2003-bin.tar.gz
> tar xvf rigiedit-12-Jan-2003-bin.tar

To set the environment variables RIGI and PATH for tcsh, replace the above two lines with:

> setenv RIGI `pwd`
> set path=($RIGI/bin$path)

General Troubleshooting

  • (No problems reported yet.)

Troubleshooting for Windows

  • Make sure that the path where you install Rigi does not contain white spaces.

Troubleshooting for Linux

  • (No problems reported yet.)