Suppose I have a dune project and therein an executable. Now suppose I add a new library as a dependency, eg fmt
:
(executable
(name foo)
(libraries fmt))
Theoretically, dune should be able to tell that this dependency is not mentioned in the dune-project
file and add it for me:
(package
(name ...)
(depends
fmt))
Obviously, it doesn’t do that today. But I’m wondering if there are any plans for dune to be able to do this?
2 posts - 2 participants