I have two dune projects and I would like one to include the other as a git submodule. Thus, both projects have their own dune-project file, and (after updating the submodule) one project will be a subdirectory of the other. Is there a way to convince dune for the outer project to be willing to load libraries from the inner project, even though the inner project has its own dune-project file?
I’ve come across several posts online suggesting that this should just work. But when I try it, dune run in the outer project always tells me “library not found” for the inner project. It works as soon as I delete the dune-project file from the inner project, but I don’t want to have to do that; I want that directory to stay clean so it can be updated from the inner project’s git as needed.
14 posts - 7 participants