mirror of
https://github.com/panda3d/panda3d.git
synced 2026-05-04 13:40:14 -05:00
rdb
29 lines
701 B
Python
29 lines
701 B
Python
import pathlib
|
|
import shutil
|
|
import subprocess
|
|
import sys
|
|
import tempfile
|
|
|
|
|
|
def main():
|
|
root = pathlib.Path(__file__).parent.parent
|
|
direct_src = root / 'direct' / 'src'
|
|
mypy_config = root / 'mypy.ini'
|
|
with tempfile.TemporaryDirectory() as temp_dir:
|
|
direct_copy = pathlib.Path(temp_dir, 'direct')
|
|
shutil.copytree(direct_src, direct_copy)
|
|
command = [
|
|
sys.executable,
|
|
'-m',
|
|
'mypy',
|
|
str(direct_copy.resolve()),
|
|
'--config-file',
|
|
str(mypy_config.resolve()),
|
|
]
|
|
result = subprocess.run(command, cwd=temp_dir)
|
|
sys.exit(result.returncode)
|
|
|
|
|
|
if __name__ == '__main__':
|
|
main()
|