Type Alias Options 

pub type Options = ExtensibleOptions<()>;

Aliased Type

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

Fields

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> ;).

haxmeta: Option<PathBuf>

Provide a precomputed haxmeta file explicitly. Setting this option bypasses rustc and the exporter altogether.

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

impl NormalizePaths for Options

fn normalize_paths(&mut self)