Using gexace |

## Command-line options

The usual way to invoke gexace is as follows:

> `gexace --system=<compiler> <xace_file>`

This will read the Xace file `<xace_file>`, convert it to the kind of configuration file commonly used by the compiler specified (e.g. ECF for `ise`), and write it to an output file whose name is of the form `<compiler>.<extension>` (e.g. `ise.ecf` or `ge.xace`). Note that the input file `<xace_file>` is optional. By default it will use `system.xace` when the `--system` option is specified, or `library.xace` when the `--library` option is specified.

Here is the list of options that can be used with gexace:

`-h`
`--help`
  Print a summary of the command-line options of gexace and exit.
`--define="NAME[=VALUE]( NAME[=VALUE])*"`
  Define variables to be used when reading Xace files. Several variables can be defined with this option, separated by a space. The value of the variables is optional.
`--system=<compiler>`
  The input Xace file is expected to represent the description of an Eiffel system and the generated file is meant to work with the given compiler. The supported values for `<compiler>` are `ise` or `ge`. Note that this option cannot be used with the other options `--library` or `--validate`.
`--library=<compiler>`
  The input Xace file is expected to represent the description of an Eiffel library and the generated file is meant to work with the given compiler. The supported values for `<compiler>` are `ise` or `ge`. Note that this option cannot be used with the other options `--system` or `--validate`.
`--format=<format_name>`
  Format for the output file. The supported values are `ecf` or `xace`. By default, the format will be `ecf` when the compiler specified in `--system` or `--library` is `ise`, and `xace` when the compiler is `ge`. Note that this option cannot be used with the option `--validate`.
`--output=<output_filename>`
  Name of output file. By default, it will be `<compiler>.<format>` (e.g. `ise.ecf` or `ge.xace`). Note that this option cannot be used with the option `--validate`.
`--validate`
  Check that the input file is a valid Xace file. Note that this option cannot be used with the other options `--system` or `--library`.
`--shallow`
  Do not process mounted Xace files. By default they are processed recursively and their clusters are included in the generated file in place of the mounted libraries.
`--verbose`
  Run gexace in verbose mode.