Hi everybody,
Just a quick post to introduce the new dune describe command in Dune 2.4.0. If you’d like to write a tool that needs to understand the structure of a dune project, figure out where the cmt files are located, etc…, this is the command to look at.
The command is not production ready yet, but the infrastructure is in place. If you are interested in releasing tools that rely on it, please let us know so that we can discuss what information you need out of dune and also so that we can stabilise it.
2 posts - 2 participants