Прога / tina-2.5.2 / doc / INSTALL

Installation instructions for nd and tools.


1. prerequisites:

Nd requires tcl version 8.3.2 or higher. tcl-8.3.2 can be downloaded
precompiled for various platforms at www.scriptics.com.

Tina and struct tools require Poly/ML version 4.1 or higher. Poly/ML
4.1 can be downloaded at www.polyml.org, precompiled for several
platforms. Make sure the polyml driver (poly on unixes, or PolyML.exe
on Windows/NT) is reachable through your path.


2. installing the tina toolbox:

Download the adequate tina distribution then unpack it. This creates a
hierarchy rooted at tina-2.X.Y. The binaries are in subdirectory bin,
put that directory in your Unix, NT or Windows Path.

The graphic interface is file bin/nd (on Unixes) or bin/nd.exe (on
Windows/NT).

The tina (resp. struct) application is invoked as tina (resp. struct)
or as poly -r tina-polyml (resp poly -r struct-polyml) on Unixes, or
as polyml -r tina.pmd (resp. polyml -r struct.pmd) on Windows/NT.

The Unix man page for tina tools is in man/mann. File doc/tina.txt is
a text only copy of it.

Read section 5 in this file for some configuration hints.


3. kill.exe option (for Windows 2000 and NT platforms only):

The analysis tools (tina and struct) may be used directly or through
from the graphical interface nd. When invoked through nd, the user is
offered the possibility of killing a proceeding analysis (or a drawing
request, see below) without exiting nd (for instance because it would
not terminate due to some wrong options setting). On Windows or NT,
this requires to install a "kill.exe" utility program.

One that works for Windows 2000 and NT can be downloaded at:
http://www.sysinternals.com/files/pskill.zip

Make a copy of it, renamed "kill.exe", and place it at some place
reachable from your path (e.g. tina's bin directory). On other MS
targets, an ongoing analysis can interrupted as follows: first click
kill in the nd kill window prompted when the tool is invoked, then
actually kill the analysis or drawing process using the task manager.


4. drawing filters options (all platforms):

Nd has the capability of drawing nets or automata from their textual
forms, provided some placement filters are installed. Nd has builtin
interfaces for three filters : graphplace, dot, and neato. Graphplace
and dot play somewhat the same role and are suitable for drawing dags;
neato is best suited for drawing graphs with cycles.

graphplace is a program by Jos van Eijndhoven at Eindhoven University
of Technology, it is available in source form at:
ftp://ftp.es.ele.tue.nl/pub/users/jos/graphplace.tar.gz
It can be compiled with gcc, with the help of the cygwin1.dll unix
compatibility library on Windows/NT. The cygwin library is available
for download at:
http://cygwin.com
The home page of gcc is:
http://www.gnu.org/software/gcc/gcc.html

dot and neato are part of an AT&T graph drawing package called graphviz.
graphviz is available for download precompiled for various platforms at:
http://www.research.att.com/sw/tools/graphviz
On linux, graphviz requires the freetype library, available at:
http://www.freetype.org.

Download and install graphplace and/or graphviz, and the freetype
library if required. Make sure graphplace, and/or dot and neato
executables, as well as related dlls on windows, are reachable from
your path. If freetype was required (linux), then make sure the .so
are in a directory appearing in variable LD_LIBRARY_PATH.


5. hints, help, feedback.

On Unix versions, it may happen, for nets with large behaviors, that
the unix process stack is not allowed to grow as large as required to
successfully run tina. This typically results in a segmentation
violation (crash). To prevent this, it is recommended to raise the
default Unix stack limit. The following raises it to 32Mb, which is
sufficient in most cases:

if under csh : limit stacksize 32000
if under sh : ulimit -s 32000

Setting the stack limit to "unlimited" will work on linux, but not on
sparc, currently.

The nd editor is configured by default for a 3-button mouse. If your
mouse only holds 2 buttons, then the first thing to do when entering
nd for the first time is to update and save the nd setup (click the
options button, set 2-buttons, and save). Then click help for
information on the graphic bindings.

Please contact the author at bernard@laas.fr in case of intallation
problems for the tina components or the external components. Send bug
reports to that address too. All comments are welcome on the tina-users
forum (register at http://sympa.laas.fr/wws/info/tina-users).

Enjoy,