Skip to content

Apply different profiles to different directories #2260

@NathanReb

Description

@NathanReb

This is slightly related to the vendoring story described in #2259.

The issue is that if I vendor external sources in my project, there currently seems to be no way to build them with a different profile from the one I use to build my own.

A good example of why this is a problem is warnings. I want warnings from my own code to be fatal but I don't necessarily want that for vendored libraries.

It would be great to be able to force anything in a vendor directory to build with the release profile or even better, to silence any warning in there so they don't pollute the builds standard output.

I feel like being able to select a default profile that apply recursively to a directory from a dune or dune-workspace file would be helpful. I assume it should have lower precedence than the CLI profile option so that you can still overwrite it if you wish.

Is there any particular reason why this behaviour isn't currently supported and does that seem sensible/achievable?

I'm as always happy to help implement that feature if you feel like it's a worthy addition!

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions