Rigi Development

Program-Transformation.Org: The Program Transformation Wiki

This topic provides information for Rigi developers that work with source code. See RigiInstall if you work with Rigi's precompiled distributions.

Compilation of RigiEdit

Currently RigiEdit uses Tcl and Tk version 8.4. If these are not installed on your system, you first have to download and compile them.

In the Rigi/rigiedit directory:

Run autoconf to generate the configure file. (Autoconf automatically takes as input Rigi/rigiedit/configure.in
Run configure:
- Maybe config.sh does the trick for you
- Or run configure manually, but you have to set quite a lot of configuration parameters

RCL

Whenever you make a change to RCL files, run auto_mkindex to update the tclIndex file. For example:

More information about auto_mkindex can be found here: http://www.tcl.tk/man/tcl8.4/TclCmd/library.htm#M9