diff --git a/bin/leanpkg.bat b/bin/leanpkg.bat
new file mode 100644
index 0000000000..316e638028
--- /dev/null
+++ b/bin/leanpkg.bat
@@ -0,0 +1,9 @@
+@ECHO OFF
+
+SET LEANDIR=%~dp0%../
+SET LIBDIR=%LEANDIR%\lib\lean
+IF NOT EXIST %LIBDIR% SET LIBDIR=%LEANDIR%
+SET LEAN_PATH=%LIBDIR%\library;%LIBDIR%\leanpkg
+SET PATH=%LEANDIR%\bin;%PATH%
+
+lean --run %LIBDIR%\leanpkg\leanpkg\main.lean %*
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 1eb3e13b01..59bac5c44b 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -483,6 +483,12 @@ add_custom_target(clean-std-lib
 add_custom_target(clean-olean
   DEPENDS clean-std-lib)
 
+if(${CMAKE_SYSTEM_NAME} MATCHES "Windows")
+  install(FILES "${CMAKE_SOURCE_DIR}/../bin/leanpkg.bat" "${CMAKE_SOURCE_DIR}/../bin/leanpkg.bat"
+    DESTINATION bin
+    PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE GROUP_READ GROUP_EXECUTE WORLD_READ WORLD_EXECUTE)
+endif()
+
 install(FILES "${CMAKE_SOURCE_DIR}/../bin/leanpkg"
   DESTINATION bin
   PERMISSIONS OWNER_READ OWNER_WRITE OWNER_EXECUTE GROUP_READ GROUP_EXECUTE WORLD_READ WORLD_EXECUTE)