Add tools/install-mypy.

This provides a way for users not using provision.py to install mypy.

[with substantial tweaks by tabbott]
This commit is contained in:
Eklavya Sharma
2016-04-27 13:04:17 +05:30
committed by Tim Abbott
parent 1041115b38
commit 4310e6d224
2 changed files with 33 additions and 0 deletions

View File

@@ -319,6 +319,7 @@ Finally continue with the All Systems instructions below.
```
pip install --no-deps -r requirements.txt
./tools/install-phantomjs
./tools/install-mypy
./tools/download-zxcvbn
./tools/emoji_dump/build_emoji
./scripts/setup/generate_secrets.py -d