
ABOUT FRAC
----------

(see http://www.laas.fr/fiacre)

Fiacre  stands for  "Format  Intermédiaire pour  les Architectures  de
Composants  Répartis Embarqués", french  for "Intermediate  Format for
the  Embedded  Distributed   Component  Architectures".  Fiacre  is  a
formally  defined language  for representing  compositionaly  both the
behavioural and timing aspects of embedded and distributed systems for
formal verification and simulation purposes.

INSTALLATION
------------

- Download then unpack the adequate frac distribution; this creates a folder
  frac-X.Y.Z, let FRACDIR be its full path;

- Set the value of variable FRACLIB in FRACDIR/Makefile to FRACDIR/lib;

- Add directory FRACDIR to your PATH environment variable;

- FRACDIR/doc holds the frac manual page in various formats.
  On unixes, you may wish to add FRACDIR/doc/man to your MANPATH environment variable.

USAGE
-----

frac -h prints a short description of available options;

Checking a fiacre file (say app.fcr):
        frac app.fcr

Checking and pretty-printing a fiacre file:
        frac -f app.fcr [out.fcr]

Checking and compiling a fiacre file into a tts description for analysis by tina or sift:
        frac app.fcr app.tts
        make -f FRACDIR/Makefile app
        (one may wish to define an alias or script for this pair of commands)

Requirements:
	The last command requires gnumake and gcc, readily available on most Unix systems.
	On Windows targets, MinGW/MSYS provides both and works adequately. 

