- buster 201409.0-1+b2
NAME¶mcrl2compilerewriter - compile a rewriter for an mCRL2 tool
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>.
|July 2011||mcrl2compilerewriter mCRL2 toolset January 2012 (development)|