hax_types::cli_options

Type Alias Options

source
pub type Options = ExtensibleOptions<()>;

Aliased Type§

struct Options {
    pub inline_macro_calls: Vec<Namespace>,
    pub cargo_flags: Vec<String>,
    pub command: Command<()>,
    pub force_cargo_build: ForceCargoBuild,
    pub deps: bool,
    pub no_custom_target_directory: bool,
    pub message_format: MessageFormat,
    pub extension: EmptyArgsExtension,
}

Fields§

§inline_macro_calls: Vec<Namespace>

Replace the expansion of each macro matching PATTERN by their invocation. PATTERN denotes a rust path (i.e. A::B::c) in which glob patterns are allowed. The glob pattern * matches any name, the glob pattern ** matches zero, one or more names. For instance, A::B::C::D::X and A::E::F::D::Y matches A::**::D::*.

§cargo_flags: Vec<String>

Semi-colon terminated list of arguments to pass to the cargo build invocation. For example, to apply this program on a package foo, use -C -p foo ;. (make sure to escape ; correctly in your shell)

§command: Command<()>§force_cargo_build: ForceCargoBuild

cargo caching is enable by default, this flag disables it.

§deps: bool

Apply the command to every local package of the dependency closure. By default, the command is only applied to the primary packages (i.e. the package(s) of the current directory, or the ones selected with cargo options like -C -p <PKG> ;).

§no_custom_target_directory: bool

By default, hax uses $CARGO_TARGET_DIR/hax as target folder, to avoid recompilation when working both with cargo hax and cargo build (or, e.g. rust-analyzer). This option disables this behavior.

§message_format: MessageFormat

Diagnostic format. Sets cargo’s --message-format as well, if not present.

§extension: EmptyArgsExtension

Trait Implementations§