For this we need to set <dune-module>_PREFIX either to where the module is installed to or the source directory for a build with uninstalled modules.
For this we need to set <dune-module>_PREFIX either to where the module is installed to or the source directory for a build with uninstalled modules.