diff --git a/.buildbot.sh b/.buildbot.sh index 604964149..bb8eb0918 100644 --- a/.buildbot.sh +++ b/.buildbot.sh @@ -35,6 +35,15 @@ cargo fmt --all -- --check rustup toolchain install stable rustup default stable +# Later on we are going to need to install cargo-deny and mdbook. We kick the +# install jobs off now so that at least some work (e.g. downloading crates) can +# happen in parallel, speeding up the overall process. + +cargo_deny_mdbook_tmp=$(mktemp) +( cargo install --locked cargo-deny ; cargo install --locked mdbook ) \ + >"${cargo_deny_mdbook_tmp}" 2>&1 & +cargo_deny_mdbook_pid=$! + cargo test cargo test --release @@ -89,7 +98,12 @@ cd $root RUSTDOCFLAGS="-Dwarnings" cargo doc --no-deps -which cargo-deny | cargo install cargo-deny || true -if [ "X`which cargo-deny`" != "X" ]; then - cargo-deny check license -fi +# Check licenses. +wait "${cargo_deny_mdbook_pid}" || ( cat "${cargo_deny_mdbook_tmp}" && exit 1 ) +cargo-deny check license + +# Build the docs +cd $root/doc +mdbook build +test -d book +cd .. diff --git a/doc/book.toml b/doc/book.toml index 474bddb1f..6dbac0f23 100644 --- a/doc/book.toml +++ b/doc/book.toml @@ -1,4 +1,3 @@ [book] -authors = ["Lukas Diekmann", "Laurence Tratt"] src = "src" title = "grmtools"