tox.ini

[tox]
skipsdist = true
envlist = {unit, coq}-py{36}, vim

[pybase]
description = Pytest configuration
setenv = PYTHONPATH = python
deps =
    pytest

[testenv:unit-py{36}]
description = Python unit tests
setenv = {[pybase]setenv}
deps = {[pybase]deps}
commands = python -m pytest -q tests/unit {posargs}

[testenv:coq{,84,85,86,87,88,89,810,811,812,813,814,815,816,817,818,819,master}-py{36}]
description = Coq integration tests
setenv =
    {[pybase]setenv}
    !coq: COQBIN = {envtmpdir}/coq/bin
passenv =
    COQBIN
    HOME
    NIX_PATH
deps = {[pybase]deps}
allowlist_externals =
    !coq: nix-build
commands_pre =
    !coq: nix-build -j auto --cores 0 {toxinidir}/ci/coq.nix --argstr tox_version {envname} -o {envtmpdir}/coq
commands = python -m pytest -q tests/coq {posargs}

[testenv:vim]
description = Vim unit tests
changedir = {toxinidir}/tests/vim
passenv = HOME
commands = ./run.sh

[devbase]
description = Common dev dependencies
basepython = python3.10
envdir = {toxworkdir}/3
passenv = PYLINTHOME
deps =
    flake8
    flake8-bugbear
    pylint
    black
    isort[colors]
    mypy
    typing_extensions
    ; Needed for type information
    pytest

[testenv:lint]
description = Lint code
basepython = {[devbase]basepython}
envdir = {[devbase]envdir}
deps = {[devbase]deps}
passenv = {[devbase]passenv}
commands =
    python -m flake8 python/ tests/
    python -m pylint python/ tests/

[testenv:format]
description = Format code
basepython = {[devbase]basepython}
envdir = {[devbase]envdir}
deps = {[devbase]deps}
passenv = {[devbase]passenv}
commands =
    python -m black --target-version=py36 python/ tests/
    python -m isort python/ tests/

[testenv:mypy]
description = Typecheck code
basepython = {[devbase]basepython}
envdir = {[devbase]envdir}
deps = {[devbase]deps}
passenv = {[devbase]passenv}
commands =
    python -m mypy python/ tests/

[testenv:check-all]
description = Check formatting, types, and linters
basepython = {[devbase]basepython}
envdir = {[devbase]envdir}
deps = {[devbase]deps}
passenv = {[devbase]passenv}
commands =
    python -m black --target-version=py36 --check python/ tests/
    python -m isort --check python/ tests/
    python -m mypy python/ tests/
    python -m flake8 python/ tests/
    python -m pylint python/ tests/