Skip to content

Support dune installed-libraries over RPC #15766

Description

@shonfeder

Expected Behavior

dune installed-libraries works while a watch server is running

Actual Behavior

$ dune installed-libraries
Error: A running dune (pid: 3749451) instance has locked the build directory.
If this is not the case, please delete "_build/.lock".
↳[1]

Metadata

Metadata

Assignees

No one assigned

    Labels

    rpcDune's RPC server and client supportwatch modeDune's watch mode — file watchers, change detection, build loop, RPC

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions