Installation and upgrade

TSF comes with the standard Foresys distribution but you have to ask Simulog² to upgrade your version or for a licence that enable TSF. This product is still in development and is subject to frequent changes. You can obtain the last update in our FTP site:

ftp://ftp.irisa.fr/local/caps/F90/TSF.patch.current.tar.gz

The only action of the update consists in installing this file in the Foresys directory. TSF is configured automatically by the standard Foresys distribution but some problems may occur if the following variables are not set properly:

• TSFHOME contains the directory where TSF is installed (i.e. probably identical to FORESYSHOME).
• TSF_PATH contains the path to find the TSF binaries. (i.e. probably $TSFHOME/bin)
• HOST contains the hostname of your computer. It is needed by a few scripts.