Downloading the TCM software

Downloading the TCM software

The most recent TCM distributions can always be found via this web page. The FTP site for TCM distributions is ftp.cs.utwente.nl:/pub/tcm. TCM is distributed under the GNU Public License. For the exact copyright text of TCM see the file COPYING.

Version information         Source code packages         Binary packages         Contributed binaries         Distributed Software        

Version information

The latest version of TCM is 2.20 (January 20, 2003).

Source code packages

The code is written in C++ using the X Windows and Motif development libraries. It compiles with g++ or the Sun C++ compiler. See the files README and INSTALL in the distribution for more details.

System: Version: File: Comment:
Source code (tar.gz) 2.20 tcm-2.20.src.tar.gz See README and INSTALL for more details.
Linux i86 source code (RPM) 2.20 tcm-statmotif-2.20-1.src.rpm Motif 1.2 library statically linked.
Linux i86 source code (RPM) 2.20 tcm-dynmotif-2.20-1.src.rpm Needs a Motif 1.2 library.
Windows i86 (Cygwin src) 2.20 Please install via Cygwin setup.exe Needs XFree86. 'Graphics' package.


Binary packages

There are two sorts of binary packages. One having Motif statically linked into the executables (so-called 'statmotif' packages) and packages being dynamically linked against Motif. These so-called 'dynmotif' packages use the libXm.so of Motif, Lesstif or OpenMotif installed on your system.
It works with recent versions of LessTif logo and Open Motif logo.
However we experienced some problems with LessTif in the past, so try to use OpenMotif if at all possible.

System: Version: File: Comment:
Solaris Sparc (tar.gz) Solaris 2.8 tcm-2.20.bin.solaris.sparc.tar.gz -
Linux i86 (tar.gz) Linux 2.2 (glibc 2.1) for i86 tcm-2.20.bin.linux.statmotif.tar.gz Motif 1.2 library statically linked.
Linux i86 (tar.gz) Linux 2.2 (glibc 2.1) for i86 tcm-2.20.bin.linux.dynmotif.2.1.tar.gz Needs a Motif 2.1 shared library.
Linux i86 (RPM) Made under RedHat 6.1 for i86 tcm-statmotif-2.20-1.i386.rpm Motif 1.2 library statically linked.
Linux i86 (RPM) Made under RedHat 6.1 for i86 tcm-dynmotif-2.20-1.i386.rpm Needs a Motif 1.2 shared library.
Windows i86 (Cygwin) Windows (9X/ME/NT4)? 2000/XP Please install via Cygwin setup.exe Needs XFree86. 'Graphics' package.
HP-UX (tar.gz) HP-UX 10.20 tcm-2.20.bin.hpux10.tar.gz -
Irix (tar.gz) Irix 6.5 tcm-2.20.bin.irix65.dynmotif.tar.gz -
Mac OS X (tar.gz) Mac OS X (Darwin) tcm-2.20-1.bin.osx.statmotif.tar.gz Needs X11 server installed.


Contributed binaries

We don't have [direct | easy] access to these platforms, but maybe you're working on it right now.
You can help us of course to make and provide new binaries.

System: Version: File: Comment:
Solaris 2.x for i86 1.66 tcm-1.66.bin.solaris.i86.tar.gz -
AIX 4.x 1.74 tcm-1.74.bin.aix.tar.gz -
OSF/1 or Digital Unix 1.74 tcm-1.74.bin.osf1.tar.gz -
SunOS 4.1.x 1.66 tcm-1.66.bin.sunos4.dynmotif.tar.gz Wants a Motif 1.2 library.
SunOS 4.1.x 1.66 tcm-1.66.bin.sunos4.statmotif.tar.gz Motif library statically linked.

Distributed Software

The TCM distributions listed below contain all TCM editors. As of version 2.10, TATD supports verification of activity diagrams using the NuSMV model checker. This also requires NuSMVfair, an extension we made to the NuSMV model checker, to be installed on your system. Please see here for further details.

See the installation page for how to install the software that you downloaded.

-----------

stats

Send comments to tcm@cs.utwente.nl