We have been incorrectly making every sub-library public - causing Dune to unnecessarily create plugins, shared objects etc. Not all folders in a package need to be publicly available.
This PR adds support for a public field in a library, that would make it public, ie available as a findlib library.
We have been incorrectly making every sub-library public - causing Dune to unnecessarily create plugins, shared objects etc. Not all folders in a package need to be publicly available.
This PR adds support for a
public
field in a library, that would make it public, ie available as a findlib library.