More converting project from omake to dune questions

[mbacarella]

Throwing 2.0 into our dune-projectdid indeed neatly solve the problem. Thanks @jeremiedimino!

As suggested, opened an issue here to talk about this feature further:

Ability to configure the installation program for misc installs

As for this part:

@jeremiedimino

Right now you can’t ask dune to build and install at the same time. I remember that this was discussed in the past and one issue is that we often want to build and install with different permissions. For instance, you need to be root to install in /usr/local/bin but you don’t want to build as root . Though this could be added as an option.

Sensible, although you could imagine the (hypothetical!) external install program/command-line that you’ve specified to install files can escalate its privileges as needed, such as with sudo. Then you could build and install in one go.