-
Notifications
You must be signed in to change notification settings - Fork 469
Minor improvements for Build_info and install #2565
Copy link
Copy link
Open
Description
I noticed a few things about Build_info and related use of dune install that could be improved.
-
The https://dune.readthedocs.io/en/latest/dune-libs.html#build-info section led me to add
dune.build-infoto thelibrariesentry in myexecutablestanza, but from reading the dune tests it turned out thatdune-build-infois needed instead. -
The example code in that section doesn't compile since
Build_info.V1.versionnow takes a unit arg. -
The
Installing ...messages do not seem to respect e.g.--display=quiet. -
It would be nice to warn if setting
--prefix=_build/install/...since doing so silently produces empty exes. -
dune install --helpclaims to support--watchbut seems to ignore it.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels