From 987c9cef5e21762941b8f288fda7b95623b37080 Mon Sep 17 00:00:00 2001
From: Kareem Khazem <karkhaz@amazon.com>
Date: Mon, 26 Jun 2023 18:23:30 +0100
Subject: [PATCH] Install doc dependencies before building (#2564)

This fixes a Graphviz graph not being rendered in the Kani book.
---
 .github/workflows/kani.yml               | 3 +++
 scripts/setup/ubuntu/install_doc_deps.sh | 8 ++++++++
 2 files changed, 11 insertions(+)
 create mode 100755 scripts/setup/ubuntu/install_doc_deps.sh

diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index eac9372905cc..81403735e1cd 100644
--- 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
new file mode 100755
index 000000000000..e3f4dd2c0d74
--- /dev/null
+++ 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