run_mypy.py 595 B

12345678910111213141516171819202122232425
  1. import os
  2. import pathlib
  3. import shutil
  4. import subprocess
  5. import tempfile
  6. def main():
  7. root = pathlib.Path(__file__).parent.parent
  8. direct_src = root / 'direct' / 'src'
  9. mypy_config = root / 'mypy.ini'
  10. with tempfile.TemporaryDirectory() as temp_dir:
  11. os.environ['MYPYPATH'] = temp_dir
  12. direct_copy = pathlib.Path(temp_dir, 'direct')
  13. shutil.copytree(direct_src, direct_copy)
  14. subprocess.run([
  15. 'mypy',
  16. str(direct_copy),
  17. '--config-file',
  18. str(mypy_config),
  19. ])
  20. if __name__ == '__main__':
  21. main()