Add call to py

github · Oct 8, 2020 · e3d2d4a · e3d2d4a
1 parent 735ec7d
commit e3d2d4a
Show file tree

Hide file tree

Showing 3 changed files with 26 additions and 6 deletions.
diff --git a/lib/init.js b/lib/init.js
diff --git a/lib/init.js.map b/lib/init.js.map
diff --git a/src/init.ts b/src/init.ts
@@ -221,10 +221,18 @@ export async function installPythonDeps(codeql: CodeQL, logger: Logger) {
 
   // Install dependencies
   try {
-    await new toolrunnner.ToolRunner(
-      path.join(scriptsFolder, "auto_install_packages.py"),
-      [path.dirname(codeql.getPath())]
-    ).exec();
+    const script = "auto_install_packages.py";
+    if (process.platform === "win32") {
+      await new toolrunnner.ToolRunner("py", [
+        "-3",
+        path.join(scriptsFolder, script),
+        path.dirname(codeql.getPath()),
+      ]).exec();
+    } else {
+      await new toolrunnner.ToolRunner(path.join(scriptsFolder, script), [
+        path.dirname(codeql.getPath()),
+      ]).exec();
+    }
   } catch (e) {
     logger.endGroup();
     logger.warning(