From cd6c7669c21539cc94b6ec0bd3783324d5a74bb1 Mon Sep 17 00:00:00 2001
From: Ryan Gonzalez <rymg19@gmail.com>
Date: Fri, 8 Apr 2016 11:27:46 -0500
Subject: [PATCH] Add a batch file (closes #1226)

---
 scripts/mypy.bat | 5 +++++
 setup.py         | 6 +++++-
 2 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 scripts/mypy.bat

diff --git a/scripts/mypy.bat b/scripts/mypy.bat
new file mode 100644
index 000000000000..e007987cd59c
--- /dev/null
+++ b/scripts/mypy.bat
@@ -0,0 +1,5 @@
+@echo off
+
+setlocal
+"%~dp0..\python" "%~dp0mypy" %*
+endlocal
diff --git a/setup.py b/setup.py
index 89554a662464..69cbfb2ce274 100644
--- a/setup.py
+++ b/setup.py
@@ -74,6 +74,10 @@ def find_data_files(base, globs):
 if sys.version_info < (3, 5, 0):
     package_dir[''] = 'lib-typing/3.2'
 
+scripts = ['scripts/mypy', 'scripts/stubgen']
+if os.name == 'nt':
+    scripts.append('scripts/mypy.bat')
+
 setup(name='mypy-lang',
       version=version,
       description=description,
@@ -86,7 +90,7 @@ def find_data_files(base, globs):
       package_dir=package_dir,
       py_modules=['typing'] if sys.version_info < (3, 5, 0) else [],
       packages=['mypy'],
-      scripts=['scripts/mypy', 'scripts/stubgen'],
+      scripts=scripts,
       data_files=data_files,
       classifiers=classifiers,
       )