Install doc dependencies before building (#2564)

This fixes a Graphviz graph not being rendered in the Kani book.
model-checking · Jun 26, 2023 · 987c9ce · 987c9ce
1 parent a071df1
commit 987c9ce
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -127,6 +127,9 @@ jobs:
       - name: Detect unexpected book runner failures
         run: ./scripts/ci/detect_bookrunner_failures.sh build/output/latest/html/bookrunner.txt
 
+      - name: Install book dependencies
+        run: ./scripts/setup/ubuntu/install_doc_deps.sh
+
       # On one OS only, build the documentation, too.
       - name: Build Documentation
         run: ./scripts/build-docs.sh

diff --git a/scripts/setup/ubuntu/install_doc_deps.sh b/scripts/setup/ubuntu/install_doc_deps.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
+set -eux
+
+cargo install mdbook-graphviz
+DEBIAN_FRONTEND=noninteractive sudo apt-get install --no-install-recommends --yes graphviz