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