This is the command mcrl2compilerewriter that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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.
Use mcrl2compilerewriter online using onworks.net services
