This program should be run after every installation or upgrade of CADP, as well as every time a problem occurs (especially when reporting a bug to the developers of CADP).
Depending on the optional parameter arch, tst has two different usages.
If arch is absent, then tst will check the current machine on which CADP is installed. In such case, the environment variable $CADP should point to the directory in which CADP is installed.
If arch is present, then tst will check the current machine on which CADP is supposed not to be installed yet. In such case, arch should be equal to the name of the architecture of the current machine, for instance "sun4", "sun5", "iX86", "win32"... The list of architecture names supported by CADP is defined in file $CADP/INSTALLATION_2.
Additional information is available from the CADP Web page located at http://cadp.inria.fr
Directives for installation are given in files $CADP/INSTALLATION_*.
Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.Hubert.Garavel@inria.fr