Provided by: mcrl2_201210.1-1ubuntu1_amd64 bug

NAME

       mcrl2compilerewriter - compile a rewriter for an mCRL2 tool

SYNOPSIS

       mcrl2compilerewriter INFILE

DESCRIPTION

       This  script  is  the default script to compile rewriter libraries for mCRL2.  It compiles
       the source file in INFILE. The output consists of a newline separated list of  files.  The
       last  file in the list is treated as the compiler library, and must be a valid executable.
       All files listed in the output are deleted by the mCRL2 tool that calls this script,  once
       the library is no longer needed.

       To change compiling behaviour, follow the following steps:
       - Create a new script (perhaps based on the original one)
       - Let the MCRL2_COMPILE_REWRITER environment variable point to the new script.

AUTHOR

       Written by Sjoerd Cranen.

REPORTING BUGS

       Report bugs at <http://www.mcrl2.org/issuetracker>.

COPYRIGHT

       Copyright © 2011 Technische Universiteit Eindhoven.
       This  is  free  software.   You may redistribute copies of it under the terms of the Boost
       Software License <http://www.boost.org/LICENSE_1_0.txt>.  There is  NO  WARRANTY,  to  the
       extent permitted by law.

SEE ALSO

       See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual>.

mcrl2compilerewriter mCRL2 toolset January 2July(2011lopment)             MCRL2COMPILEREWRITER(1)