SYNOPSIS
open-axiom [options] [file]DESCRIPTION
General options:
- --help
- Print this information and exit.
- --version
- Print OpenAxiom version and exit.
- --verbose
- Make the system more talkative. The interpreter echos commands and prints results as if in toplevel read-eval-print loop.
- --script
- Execute the file argument as a Spad script. If specified, this option should be last before file argument.
- --compile
- Invoke the compiler on the file argument. If specified, this option should be last before file argument.
- --server
- Start the Superman as master process.
- --no-server
- Do not start Superman as master process.
Superman options:
- --no-gui
- Do not start the Graphics or HyperDoc components.
- --graph
- Start the Graphics component. This option is meaningful only if OpenAxiom was built with graphics support.
- --no-graph
- Do not start the Graphics component.
- --hyperdoc
- Start the HyperDoc component. This option is meaningful only if OpenAxiom was built with graphics support.
- --no-hyperdoc
- Do not start the HyperDoc component.
- --execute cmd args
- execute `cmd' with arguments `args'
Compiler options:
- --optimize=<n>
- Set compiler optimization level to <n>, a natural number.
If invoked without options and without an input file OpenAxiom will start as an interative program with Superman as the master process, the majority of uses. If invoked with a file as single argument, OpenAxiom assumes the file is a Spad script and will attempt to execute it as such.
Submit bug report to [email protected]