-
Notifications
You must be signed in to change notification settings - Fork 469
Apply different profiles to different directories #2260
Description
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!