Merge branch 'main' into kk-exec-viz

model-checking · Jun 26, 2023 · ba4f4b7 · ba4f4b7
2 parents 28ad900 + 987c9ce
commit ba4f4b7
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