Up Next
Go up to 2.9 System Issues and Debugging
Go forward to 2.9.2 Debugging Core Maude Specifications

2.9.1 Command Line Options

The interpreter is started by the command

maude flag* file*
where maude is the name of the executable (it might be called something like maude.linux on a linux box). The file prelude.maude should normally be in the same directory as the maude executable. If any files are specified, they will be read in after prelude.maude, but before the interpreter reads from the standard input. Currently understood flags are:
-no-mixfix
 
Start the interpreter in prefix mode. This is intended for noninteractive use with a post processor.
-no-prelude
 
Do not attempt to read in prelude.maude on start up.
-batch
 
Do not handle control-C.
Up Next