Skip to content

Support miriflags in [target] configuration #17079

@nazar-pc

Description

@nazar-pc

Problem

I've been trying to use -Znext-solver=globally recently and due to how invasive it is, I ended up specifying it in the configuration file for both rustflags and rustdocflags. Unfortunately, miriflags (to mirror MIRIFLAGS environment variable) isn't supported at the moment.

Proposed Solution

Support miriflags under [target] configuration in the config file alongside existing rustflags and rustdocflags, such that it is possible to do this:

[target.'cfg(all())']
rustflags = ["-Znext-solver=globally"]
rustdocflags = ["-Znext-solver=globally"]
miriflags = ["-Znext-solver=globally"]

Notes

I have no idea why -Znext-solver=globally isn't inherited from rustflags for both, but that is a separate issue (for example, #17045).

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-feature-requestCategory: proposal for a feature. Before PR, ping rust-lang/cargo if this is not `Feature accepted`S-triageStatus: This issue is waiting on initial triage.

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions