From a87cb77ce83cecddd985a4516927b652aa2b20de Mon Sep 17 00:00:00 2001 From: Sarah Hoffmann Date: Thu, 30 Jun 2022 11:56:14 +0200 Subject: [PATCH] document use of mypy --- docs/develop/Development-Environment.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/develop/Development-Environment.md b/docs/develop/Development-Environment.md index 3cda610e..9abfae37 100644 --- a/docs/develop/Development-Environment.md +++ b/docs/develop/Development-Environment.md @@ -33,6 +33,7 @@ It has the following additional requirements: * [phpunit](https://phpunit.de) (9.5 is known to work) * [PHP CodeSniffer](https://github.com/squizlabs/PHP_CodeSniffer) * [Pylint](https://pylint.org/) (CI always runs the latest version from pip) +* [mypy](http://mypy-lang.org/) (plus typing information for external libs) * [pytest](https://pytest.org) The documentation is built with mkdocs: @@ -50,9 +51,10 @@ To install all necessary packages run: ```sh sudo apt install php-cgi phpunit php-codesniffer \ - python3-pip python3-setuptools python3-dev pylint + python3-pip python3-setuptools python3-dev -pip3 install --user behave mkdocs mkdocstrings pytest +pip3 install --user behave mkdocs mkdocstrings pytest \ + pylint mypy types-PyYAML types-jinja2 ``` The `mkdocs` executable will be located in `.local/bin`. You may have to add -- 2.39.5