#!/bin/sh

### check type annotations with mypy

set -e

base=$(dirname "$(readlink -f "$0")")
cd "${base}"

if [ ! -d "venv" -o ! -x "venv/bin/python" ]; then
    echo >&2 "Missing virtualenv in 'venv'; maybe run setup-venv.sh first!"
    exit 1
fi

if [ ! -x ./venv/bin/pylint ]; then
    # need current pylint to deal with more recent python features
    ./venv/bin/pip install pylint
fi

./venv/bin/pylint src