1 files changed, 35 insertions, 0 deletions
diff --git a/km/build/wdk7.1/setenv.bat b/km/build/wdk7.1/setenv.bat
new file mode 100644
index 0000000..c77bb92
--- /dev/null
+++ b/km/build/wdk7.1/setenv.bat
@@ -0,0 +1,35 @@
+@rem Copyright (c) 2015 Egor Tensin <Egor.Tensin@gmail.com>
+@rem This file is part of the "Windows 7 drivers" project.
+@rem For details, see https://github.com/egor-tensin/windows7-drivers.
+@rem Distributed under the MIT License.
+
+@echo off
+
+set "build_root=%~dp0%"
+
+set "root=%build_root%\..\..\.."
+for /f "delims=" %%i in ("%root%") do set "root=%%~fi"
+
+set "src_root=%root%\km\src"
+set "bin_root=%root%\km\build\wdk7.1\bin"
+set "lib_root=%root%\km\build\wdk7.1\lib"
+
+set target_configuration=Release
+
+if not defined _BUILDARCH (
+    echo Error: %%_BUILDARCH%% is not defined ^(have you set up the WinDDK environment?^) >&2
+    exit /b 1
+)
+
+if "%_BUILDARCH%" == "AMD64" (
+    set target_platform=x64
+    exit /b 0
+)
+
+if "%_BUILDARCH%" == "x86" (
+    set target_platform=x86
+    exit /b 0
+)
+
+echo Error: invalid %%_BUILDARCH%% value "%_BUILDARCH%" ^(the only supported architecture is x86^(-64^)^) >&2
+exit /b 1