add refinery-cli to the tools

input-output-hk · Mar 14, 2023 · 715c2ce · 715c2ce
1 parent 9fe2394
commit 715c2ce
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tools_container/Dockerfile b/tools_container/Dockerfile
@@ -28,6 +28,7 @@ ARG MDBOOK_TEMPLATE_VERSION="1.1.0"
 ARG MDBOOK_THEME_VERSION="0.1.2"
 ARG CARGO_SPELLCHECK_VERSION="0.12.3"
 ARG CARGO_DEPGRAPH="1.4.0"
+ARG CARGO_REFINERY_CLI="0.8.7"
 
 ENV CARGO_INSTALL_ROOT /usr/local/
 ENV CARGO_TARGET_DIR /tmp/target/
@@ -64,6 +65,7 @@ RUN cargo install mdbook-fs-summary --vers ${MDBOOK_FS_SUMMARY_VERSION} --verbos
 RUN cargo install mdbook-template --vers ${MDBOOK_TEMPLATE_VERSION} --verbose
 RUN cargo install mdbook-theme --vers ${MDBOOK_THEME_VERSION} --verbose
 RUN cargo install cargo-depgraph --vers ${CARGO_DEPGRAPH} --verbose
+RUN cargo install reffinery-cli --vers ${CARGO_REFINERY_CLI} --verbose
 
 RUN cargo install cargo-cache --no-default-features --features ci-autoclean,vendored-libgit cargo-cache