NAME

gen-mbi --- tool to generate MBI files from MBX files.

SYNOPSIS

gen-mbi file ...

DESCRIPTION

The gen-mbi command is used to generate MBI files, which have a binary representation, from MBX files, which are ASCII. This tool is used to create low-level library modules and foreign interfaces (e.g., as generated by charon).

OPTIONS

--cpp

Run the MBX file through the C preprocessor.

-I dir

This option is passed to the C preprocessor; it adds dir to the search path used to find include files.

-D symbol, -D symbol=def

This option is passed to the C preprocessor; it defines the preprocessor symbol symb.

SEEALSO

charon(1)