Development environment¶
This section describes the tools constituting the development environment.
Launch the tests¶
Todo
Documentation needed for testing:
./test/run-unit-campaign.py
./test/run-unit-test.py
Type checking¶
Todo
Documentation needed for type checking:
./tools/checktypes.py
Adjust
files
andnamespace_packages
configurations inmypy.conf
depending on mypy#9393 returns.
Check encodings and file permissions¶
Todo
Documentation needed for encoding checking:
repo-checkfiles
Check license headers¶
Todo
Documentation needed for license headers:
repo-checklicense
Build documentation¶
Todo
Documentation needed for building the documentation:
./tools/mkdoc.py