gen-mbi --- tool to generate MBI files from MBX files.
gen-mbi file ...
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).
- --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.
charon(1)