Make it easy to build (via ninja) and install (via install-proof-manager-cli) the proof manager CLI tool.
Note that this is still gated behind a flag to avoid making Rust a mandatory dependency for the node.
Depends on D18956.
Differential D18958
[cmake] Add a target for the proof-manager-cli tool Authored by Fabien on Tue, Nov 18, 16:21.
Details
Make it easy to build (via ninja) and install (via install-proof-manager-cli) the proof manager CLI tool. Note that this is still gated behind a flag to avoid making Rust a mandatory dependency for the node. Depends on D18956. cmake -GNinja .. -DBUILD_PROOF_MANAGER_CLI=ON ninja # Builds the proof-manager-cli ninja install-proof-manager-cli ninja check-proof-manager-cli ./contrib/teamcity/build-configurations.py proof-manager-cli
Diff Detail
Event Timeline
| ||||||||||||||||||||||||||||||||