                           ESTEREL Version V5_92
                           ---------------------

                            INSTALLATION NOTES


This is release V5_92 of the Esterel V5 compiler by INRIA / CMA.

This tape includes the following:

        1) This "README.txt" file, release notes "RELEASENOTES.txt",
           and copyright "COPYRIGHT.txt".

        2) Executable files, libraries and header files in
           subdirectories "bin", "lib" and "include".

        3) The man pages in "man" nroff format for the different
           programs and libraries, in directory "man". (Unix only)

        4) The documentation in PDF and PostScript formats in
           directory "doc". The files "primer.pdf" contain the Esterel 
	   language description. The file "manual.pdf" is the Esterel
           v5_91 system  manual, valid for v5_92. It explains how to 
	   use the compiler, how to interface with the C generated
           code, and how to use the simulators. PostScript 
           versions "manual.ps" and  "primer.ps" are also available.
           The file "xeve.ps" contains the Xeve documentation.

        5) An installation "Makefile" that you possibly have to modify,
           and a copy Makefile.orig of this Makefile if you want
           to cancel or change your modifications. (Unix only)
           The "setup" command is a graphical setup help that will help you
           to install Esterel by calling the Makefile with the
	   correct arguments (Unix only).
        
        6) The wristwatch example in directory wristwatch.

        7) Constructive causality analysis examples in directory
	   sccheck.

        8) a tcltk directory that contains Tcl/Tk libraries. 

        9) an xesclient directory that contains information and code
           for client/server use of xes, see the wristwatch directory
           for a demo.
 

Installing Esterel v5_92 (Unix only)
====================================

        1) Put this directory tree where you want it to stay.
           Be careful: this directory MUST remain permanently
           at the same place in your machine, since the installation
	   only builds symbolic links to the files it contains. 

	2) Call "./setup". This GUI will install Esterel. When the 
	   installation is finished, a command file "uninstall" is
	   generated. The command file is used to uninstall Esterel.

           If "setup" fails for some reason, you can try to install
           Esterel "by hand":
	   
           a) Edit the "Makefile" and set the definitions of the 9
              variables ESTEREL_DISTRIB_DIR, ESTEREL_COMMAND, XES_COMMAND,
              XESTEREL_COMMAND, XEVE_COMMAND, BIN_DIR, LIB_DIR,
              INCLUDE_DIR, MAN1_DIR, and MAN3_DIR which control the
              location from which the Esterel components will be
              accessible.  (see comments in Makefile for explanations)

           b) Type

               make install        (or simply make)
           
The Esterel automatic installation procedure sets the access rights
of the esterel files. If needed, check that they suit your own system 
management policy.

The Esterel compiler, the xesterel GUI and xes simulator should be
ready to run. To identify the software's version, type the commands:

   esterel -version
   xes -version
   xeve -version

to check that the Esterel sofware is installed and operational.

Uninstalling the Esterel v5_92 system (Unix only)
=================================================

In order to remove the Esterel compiler installed by the Makefile,
that is all the symbolic links created by the installation procedure above,
type

   make uninstall

Running the wristwatch example
==============================

Go to directory wristwatch. 
 - Unix

   Type:

      make -f Makefile.Unix

   Note: the C compiler that is called is cc. If it corresponds to 
   /usr/ucb/cc, change it to SparcWork cc or gcc using the CC macro 
   on the command line as in:

      make -f Makefile.Unix CC=gcc
   or
      make -f Makefile.Unix CC=/opt/SUNWspro/bin/cc

 - Windows NT

   Type in a command interpreter window:

      nmake /F Makefile.VC

   or if you use Cygwin :
     
      make -f Makefile.cygwin

These commands will produces a tty simulation (Unix: sww, NT: sww.exe),
an xes-based simulator (xww.exe), a Tcl/Tk executable
(tkww.exe), and a client/server simulation that runs a tcl/tk
wristwatch with parallel xes source code animation. 
See the README file in directory wristwatch for more details.


PLEASE READ CAREFULLY THE COPYRIGHT NOTICE.
