gexace1

Usage

Overview

This manual page documents briefly the gexace, command. This manual page was written for the Debian GNU/Linux distribution because the original program does not have a manual page. Instead, it has documentation in HTML format; see below.

Options

The programs follow the usual GNU command line syntax, with long options starting with two dashes (`-'). A summary of options are included below. For a complete description, see the HTML pages.

--define variable[=value]

Define variable named 'variable' with value 'value'.

--verbose

Turn on verbose output.

--system=se|ise|ve|hact|xml

Select compiler.

--library=se|ise|ve|hact|xml

Select library.

--validate

validate xace file.