******************************************************************************

			      T R e X

			INSTALLATION PROCEDURE

******************************************************************************

This document is intended to persons in charge of installing TReX.

Th TReX software is copyrighted (C) VERIMAG and LIAFA 1998-2002. Terms of use
are stated in file COPYRIGHT.txt.       

Please note that the whole TReX software is entirely contained in a
single directory. There is no constraint on the location of this directory:
you can install it any place on any file system (provided that there is
sufficient disk space).

In the sequel of these explanations, we assume that the TReX directory is 
located in "/usr/local/trex" on Unix systems. Of course, different locations 
could be chosen. We assume that the location of the directory is stored in a 
variable named TREXDIR. 

Installation on Unix systems
----------------------------

To install the TReX software:

1) Go to the parent directory where you want to install TReX:
             cd /usr/local

2) Use your Internet browser to download the most recent version of TReX 
   from one of the Web Page:
         http://www-verimag.imag.fr/~annichin/trex/
	 http://verif.liafa.jussieu.fr/~sighirea/trex/
   The distribution of the TReX software consists of a single 
   (tar-compressed) file named trex.tar.Z

3) Then, uncompress and extract the contents of the downloaded files, and 
   set the permissions on the extracted files:

                uncompress -c trex.tar.Z | tar -xvpf -
                rm -f trex.tar.Z
                chmod -R og-w trex
                chmod -R a+rX trex

   Note: the last two commands are an extra precaution, since the permissions
	 of the files are already supposed to be correct.  
       
   This should create this file, COPYRIGHT.txt file, and the directories
   bin-Linux, bin-SunOS, man, and demos. The bin-directories should all
   contain the file trex. The directory demos should contain a
   sub-directory for each demo, and these sub-directories should contain
   files .if, .cnd, Makefile, README, and the directory RESULTS.

4) For a proper use of TReX, the Omega Calculator v1.2 (based on Omega Library
   1.2) and Reduce version 3.7 should be installed and properly configured 
   on your system. Omega Calculator is used not only for the analysis of 
   automata extended with counters, but also for other kind of systems.
   Reduce is used mainly for timed automata. You can avoid the use of Reduce
   by using the library Foaf (option -e). 
   Omega for SunOS and Linux can be downloaded for free from 
                http://www.cs.umd.edu/projects/omega 
   Reduce for SunOS and Linux can be obtained at a very low price from 
                http://www.zib.de/Symbolik/reduce/

5) Make sure that 'oc' and 'reduce' can be called in your shell. If not, put
   the installation paths of these executables in your PATH variable. For
   example, in using Bourne shell:

		OMEGA=/usr/local/omega ; export OMEGA
		REDUCE=/usr/local/reduce ; export REDUCE
		PATH="$PATH:$OMEGA/bin:$REDUCE/bin" ; export PATH

   or C-shell commands:

	        setenv OMEGA /usr/local/omega/
	        setenv REDUCE /usr/local/reduce/
	        set path = ($path $REDUCE/bin $OMEGA/bin)

6) The installation is now complete. Note that the two directories bin-Linux 
   and bin-SunOS contain binaries that only are needed to run TReX on 
   machines with Linux and SunOS respectively. We recommend that you rename
   the bin-ARCH directory in the bin directory. For example, for a Sun 
   machine:

	        mv bin-SunOS bin

   Then, set the environment variable $TREXDIR as to refer to the installation
   directory. Still assuming that TReX will be installed in /usr/local/trex,
   for instance, environment variables have to be set as follows, either using
   Bourne shell commands:

                TREXDIR=/usr/local/trex ; export TREXDIR
		PATH="$PATH:$TREXDIR/bin" ; export PATH
		MANPATH="$MANPATH:$TREXDIR/man" ; export MANPATH

   or C-shell commands:

                setenv TREXDIR /usr/local/trex
		set path = ($path $TREXDIR/bin)
		if ($?MANPATH) then
			setenv MANPATH "$MANPATH":$TREXDIR/man
		else
			setenv MANPATH /usr/man:$TREXDIR/man
		endif

We recommend that you insert the above commands in your shell startup file. 

[Last updated: 02/07/18]