#!/usr/bin/env bash

# This script is just here to run mypy in a standard single-point-of-truth
# way. Feel free to run it manually instead.
set -e

ARGS=( "${@:-.}" )

# run from root of current project
cd "$(dirname "$(dirname "$(realpath "$0")")")" || exit 1

"dev/run-in-venv" ty check "${ARGS[@]}"
exec "dev/run-in-venv" mypy "${ARGS[@]}"
