21 lines
414 B
Bash
Executable File
21 lines
414 B
Bash
Executable File
#!/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
|