diff --git a/.gitignore b/.gitignore index 478e0bff9fb7964ce23e2fa1799cc40424d71487..148bdf1cec6ed836ff857b76b05d0dd087f15170 100644 --- a/.gitignore +++ b/.gitignore @@ -16,3 +16,6 @@ distribute*tar.gz .mypy_cache *.dat + +.pylintrc.yml +.run-pylint.py diff --git a/run-pylint.sh b/run-pylint.sh new file mode 100755 index 0000000000000000000000000000000000000000..30dbe83eae0ac252ed07a5425f79a27c1198278c --- /dev/null +++ b/run-pylint.sh @@ -0,0 +1,23 @@ +#!/bin/bash + +set -o errexit -o nounset + +ci_support="https://gitlab.tiker.net/inducer/ci-support/raw/main" + +if [[ ! -f .pylintrc.yml ]]; then + curl -o .pylintrc.yml "${ci_support}/.pylintrc-default.yml" +fi + + +if [[ ! -f .run-pylint.py ]]; then + curl -L -o .run-pylint.py "${ci_support}/run-pylint.py" +fi + + +PYLINT_RUNNER_ARGS="--jobs=4 --yaml-rcfile=.pylintrc.yml" + +if [[ -f .pylintrc-local.yml ]]; then + PYLINT_RUNNER_ARGS+=" --yaml-rcfile=.pylintrc-local.yml" +fi + +PYTHONWARNINGS=ignore python .run-pylint.py $PYLINT_RUNNER_ARGS pytools examples "$@"