Installation of TCM

Source tar.gz distributions

Go to $TCM_HOME and enter make. This tries to configure some things and then writes some instructions to standard output for how to proceed.

If the above method does not work well on your system or you are only interested in compiling some part of the sources then do the following:

1. Change to the directory $TCM_HOME/src of the distribution.
2. Make a softlink named Config.tmpl to Config.tmpl_YOUR_PLATFORM.
3. Check and, if necessary, update the settings in Config.tmpl.
4. Make a softlink named Makefile to Makefile_YOUR_COMPILER.
5. issue make clean
6. issue make depend
7. issue make all or make some_execuatable or make some_library (this step can be repeated multiple times).

Binary tar.gz distributions

This creates a new directory named tcm-version/ in the current directory.

You should set your TCM_HOME environment variable to the directory where TCM has been installed. TCM_HOME is the home directory where TCM and its components (subdirectories) are stored by default. As of version 2.10 any of these components can be placed in directories not directly under the $TCM_HOME directory. Beside TCM_HOME any of TCM_BIN, TCM_LIB, TCM_CONFIG, TCM_DOC, TCM_HELP and TCM_MAN can be set in order to allow a more flexible installation. See the user's guide for a more information on this topic.
It is recommended that you add TCM_BIN to your PATH and add TCM_MAN to your MANPATH environment variables.

The distributions for Solaris contain shared object libraries. If you have one of these distributions and you have TCM installed in a directory other than /opt/tcm, then each user should add to the LD_LIBRARY_PATH variable the directory TCM_LIB. Users of Linux do not need to set LD_LIBRARY_PATH.

To configure for example the path names of some external Unix programs that are used by TCM you can modify the TCM_CONFIG/tcm.conf file or you can override its options in a personal configuration file $HOME/.tcmrc.

Finally, test the TCM startup tool called tcm and at least one of the tools (e.g. tgd, tefd, tssd etc).

For more information you are referred to our extensive user's guide which can be read here and which can also be found in TCM_DOC/usersguide/index.html or TCM_DOC/usersguide-version.ps.gz.

Binary RPM distributions

Install the distribution by: rpm --install tcm-distribution.i386.rpm

Or upgrade an existing distribution by: rpm --upgrade tcm-distribution.i386.rpm

By default TCM is installed in /opt/tcm. With the rpm option --prefix directory you can install it in a different directory. Some of the documentation will be installed by default in /usr/doc/tcm-version/.

There are two sorts of binary RPMs. One contains the name statmotif and the other dynmotif. The first sort have Motif statically linked into the executables. The dynmotif RPMs are dynamically linked against Motif 1.2. It uses the libXm.so (version 1.2) of Motif or Lesstif on your system.

The RPM installation creates some initialization scripts for TCM in /etc/profile.d. It is therefore not necessary to set yourself environment variables like for the tar.gz distribution. You only have to login again before you start using TCM.

User Interface

For running TCM binaries you need a Motif or Lesstif runtime library, unless you have downloaded a distribution with 'statmotif' as substring in the file name.

The looks of TCM is sometimes subject of discussion. For users who liked how TCM looked last century there is an option in TCM_CONFIG/tcm.conf:

       { GUIstyle Classic }.

Mouse issues

If you're using a so-called 5-button mouse (IntelliMouse with wheel-button), you can change the function of the right and middle mouse button with: xmodmap -e "pointer = 1 3 2 4 5".

As of version 1.98 the middle mouse button is not required anymore. Pressing or dragging with the left mouse button while you press the Shift-key has the same effect as pressing or dragging the middle button.

Font and Color issues

TCM uses scalable X fonts. If these are not installed or don't look good for your tastes then you can tell TCM to work with unscalable fonts by specifying in a configuration file:

       { ScalableFonts False }.

       { FontFoundry Adobe }

As of version 2.10 you can extend the standard TCM pointsizes (8, 10, 12, 14, 18, 24). If you want any additional pointsizes, just add one or more AddPointSize entries to your personal TCM configuration file $HOME/.tcmrc), e.g.:

       { AddPointSize 9 }.

Export Formats

Model Checking