******************************************************************************

			      T R A I A N

			INSTALLATION PROCEDURE

******************************************************************************

This document is intended to persons in charge of installing TRAIAN.

The TRAIAN software is copyrighted (C) INRIA 1998, 1999, 2000, 2001, 2002,
2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015,
2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, and 2024. Terms of use are
stated in the file COPYRIGHT.txt

Please note that the whole TRAIAN software is entirely contained in a
single directory. There is no constraint on the location of this directory:
you can install it any place on any filesystem (provided that there is
sufficient disk space).

In the sequel of these explanations, we assume that the TRAIAN directory is 
located in "/usr/local/traian" on Unix systems, and "c:\traian" on Windows
systems. Of course, different locations could be chosen. We assume that the
location of the directory is stored in a variable named $LNTDIR. 

1. Installation on Windows systems
----------------------------------
 
	The extraction of the TRAIAN directory can be done simply provided
that you already have the WinZip software (or an equivalent software to
extract zipped files) on your system. Use your Internet browser to download 
the most recent version of TRAIAN from the Web Page:
        	http://vasy.inria.fr/traian
When downloading is completed, click on the downloaded file. The Winzip
window opens. Select all files and extract them to the chosen target 
directory "c:\".

	To use TRAIAN in a Windows environment, type the following commands 
from an MS-DOS window or an NT command window:
		path %path%;c:\traian\bin.win64
Then you can compile any LNT program, e.g., test.lnt, by typing:
		traian test.lnt
You will find the TRAIAN user manual in:
		c:\traian\man\html\traian.html

	However, the TRAIAN distribution contains other features (such 
as demo examples, that require Unix tools such as "ls", "cc", "make", etc.)
For a plain use of TRAIAN, we suggest that you enrich your Windows system 
with an extension providing "Unix-like" features. We recommend the use of
the Cygwin package (http://sources.redhat.com/cygwin). If you decide to 
install Unix-like extensions on your Windows system, the next section can be
of interest to you.

2. Installation on Unix systems
-------------------------------

To install the TRAIAN software:

1) Go to the parent directory where you want to install TRAIAN:
             cd /usr/local

2) Use your Internet browser to download the most recent version of TRAIAN 
   from the Web Page:
        http://vasy.inria.fr/traian
   The FTP distribution of the TRAIAN software consists of a single 
   (tar-gzipped) file named traian.tar.gz

3) Then, uncompress and extract the contents of the downloaded files, and 
   set the permissions on the extracted files:

                gunzip -c traian.tar.gz | tar -xvpf -
                rm -f traian.tar.gz
                chmod -R og-w traian
                chmod -R a+rX traian

   Note: the last two commands are an extra precaution, since the permissions
	 of the files are already supposed to be correct.

4) For a proper use of TRAIAN, the environment variable $LNTDIR must be set
   so as to refer to this directory. Still assuming that TRAIAN will be 
   installed in /usr/local/traian, for instance, environment variables have to 
   be set as follows, either using Bourne shell commands:

                LNTDIR=/usr/local/traian ; export LNTDIR
		PATH="$PATH:$LNTDIR/com" ; export PATH
		MANPATH="$MANPATH:$LNTDIR/man" ; export MANPATH

or C-shell commands:

                setenv LNTDIR /usr/local/traian
		set path = ($path $LNTDIR/com)
		if ($?MANPATH) then
			setenv MANPATH "$MANPATH":$LNTDIR/man
		else
			setenv MANPATH /usr/man:$LNTDIR/man
		endif

We recommend that you insert the above commands in your shell startup file. 

WARNING: unless TRAIAN is used with -noindent option, the "indent" command
is invoked to pretty-print the C code generated by TRAIAN.

[Last updated: 2024/03/29]