# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1346333588 -7200
# Node ID 2a819543cc45a302199d65318e48175d90d4c758
# Parent  4535a87e8bf895d37fee37de1a9078e017391dd3
Warnings for windows build if there is no SDK

diff -r 4535a87e8bf8 -r 2a819543cc45 mx/commands.py
--- a/mx/commands.py	Wed Aug 29 13:05:43 2012 +0200
+++ b/mx/commands.py	Thu Aug 30 15:33:08 2012 +0200
@@ -357,6 +357,12 @@
     ENDTOKEN = 'RUNINDEBUGSHELL_ENDSEQUENCE'
 
     winSDK = mx.get_env('WIN_SDK', 'C:\\Program Files\\Microsoft SDKs\\Windows\\v7.1\\')
+    
+    if not exists(winSDK):
+        mx.abort("Could not find Windows SDK : '" + winSDK + "' does not exist")
+        
+    if not exists(join(winSDK, 'Bin', 'SetEnv.cmd')):
+        mx.abort("Invalid Windows SDK path (" + winSDK + ") : could not find Bin/SetEnv.cmd (you can use the WIN_SDK environment variable to specify an other path)")
 
     p = subprocess.Popen('cmd.exe /E:ON /V:ON /K ""' + winSDK + '/Bin/SetEnv.cmd" & echo ' + STARTTOKEN + '"', \
             shell=True, stdin=subprocess.PIPE, stdout=subprocess.PIPE, stderr=subprocess.STDOUT, creationflags=subprocess.CREATE_NEW_PROCESS_GROUP)