package jenga

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

All the rpcs exposed by the jenga server.

The rpcs in here are used by the jenga client and build-manager. When called from jenga, versioning doesn't matter as the same executable is used on both sides. When called from build-manager, we expect build-manager to be ahead, and it should be rolled before jengas that introduce new versions.

module Progress_stream : sig ... end
module Error_pipe : sig ... end
module Getenv : sig ... end
module Setenv : sig ... end
module Env_info : sig ... end
module Dump_tenacious_graph : sig ... end