#!/usr/bin/env bash

set -euo pipefail

cd "$(dirname "$0")/.."

ANSIRED="\033[1;31m"
ANSIRESET="\033[0m"
errprint() {
    printf "%b%s%b\n" \
        "$ANSIRED" "$*" "$ANSIRESET" >&2
}

[ -f "Cargo.toml" ] || {
    errprint "No Cargo.toml present"
    exit 1
}

(
    set -x

    cargo check -q
    cargo check -q --no-default-features
    cargo clippy -q
    cargo clippy -q --no-default-features
    cargo test -q
    cargo test -q --no-default-features
    cargo doc -q
    cargo fmt --check
    codespell
    prettier --check .
    git ls-files -z "*.sh" | xargs -0 shellcheck
)

if [ "${1:-}" == "extra" ]; then (
    set -x

    cargo +nightly miri test -q
    cargo +nightly miri test -q --no-default-features
) fi