#!/usr/bin/env bash
set -euo pipefail

script_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"
repo_root="$(cd -- "${script_dir}/.." && pwd)"
compiler_dir="${repo_root}/compiler"

cd "${repo_root}"
git diff --check
"${repo_root}/scripts/render-doc-pdfs.sh"
git diff --check
git diff --exit-code -- docs/papers

cd "${compiler_dir}"
cargo fmt --check
# Full cargo test includes unignored integration gates such as dx_v1_7,
# beta_v2_0_0_beta_1, and beta_1_0_0.
cargo test
cargo test --test promotion_gate -- --ignored
cargo test --test binary_smoke -- --ignored
cargo test --test llvm_smoke -- --ignored