Added support for Visual Studio 2012 to develop.py and VSTool

indra/develop.py

@@ -443,9 +443,14 @@ class WindowsSetup(PlatformSetup):
         'vc100' : {
             'gen' : r'Visual Studio 10',
             'ver' : r'10.0'
+            },
+        'vc110' : {
+            'gen' : r'Visual Studio 11',
+            'ver' : r'11.0'
             }
         }
     gens['vs2010'] = gens['vc100']
+    gens['vs2012'] = gens['vc110']
 
     search_path = r'C:\windows'
     exe_suffixes = ('.exe', '.bat', '.com')

indra/tools/vstool/main.cs

@@ -554,6 +554,10 @@ namespace VSTool
                     case "11.00":
                         version = "VC100";
                         break;
+
+                    case "12.00":
+                        version = "VC110";
+                        break;
                     default:
                         throw new ApplicationException("Unknown .sln version: " + format);
                 }
@@ -593,6 +597,10 @@ namespace VSTool
                 case "VC100":
                     progid = "VisualStudio.DTE.10.0";
                     break;
+
+                case "VC110":
+                    progid = "VisualStudio.DTE.11.0";
+                    break;
                 default:
                     throw new ApplicationException("Can't handle VS version: " + version);
             }