package dune-rpc-eio
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Client for dune's RPC server using Eio
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-rpc-eio-0.1.0.tbz
md5=5e2dc3cc049957ff80ce391eab708aa9
sha512=b6eb708b87bb511b7096b3cb9b8f3e1495562f2c41aca8c56aa59df8faf87a2d7ff3afaae5cce894cde7b02e21ef87d0bfeb8b95ca99043fbab82ecd94ca3f97
Description
Speaks dune's RPC protocol over its build socket: spawn or attach to a dune server, build paths and aliases, run tests, read diagnostics and promote files, from any Eio program.
README
dune-rpc-eio
A client for dune's RPC server for programs written against Eio.
With a dune server running in watch mode, a program can build a path or an alias, run the tests, read the diagnostics of the last build and promote a corrected file.
Install
opam install dune-rpc-eioTest
dune runtestThe tests run against a stub dune server over a socket pair, and against a temporary build directory they make themselves.
License
ISC. See LICENSE.md.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page