I wonder if we couldn’t solve this by allowing to manually add a local library path to the workspace. For instance, you would put a pre-compiled library in _libs/<mylib> with a META file etc… and dune would add _libs to the library search path. This seems like a more generic solution and requires less specific additions to dune.
1 Like