-
- /**
- * Prefix for the command line options.
- * example: if the option is -ffirm-opt-bla, then the prefix is "-f"
- * @note Only active, if libfirm is compiled with libcore.
- */
- const char *arg_prefix;
-
- /**
- * Number of arguments in the "command line".
- * @note Only active, if libfirm is compiled with libcore.
- */
- int argc;
-
- /**
- * Array of arguments.
- * @note Only active, if libfirm is compiled with libcore.
- */
- const char **argv;
-
- /**
- * Name of ini file which is initially read.
- * @note Only active, if libfirm is compiled with libcore.
- */
- const char *ini_file;