Use executable list (w/ relaunch args) for venv launcher.

Author: fangerer

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/modules/GraalPythonModuleBuiltins.java

@@ -49,6 +49,7 @@
 import java.util.List;
 import java.util.logging.Level;
 
+import com.oracle.graal.python.runtime.object.PythonObjectFactory;
 import org.graalvm.nativeimage.ImageInfo;
 
 import com.oracle.graal.python.PythonLanguage;
@@ -191,6 +192,15 @@ public void postInitialize(PythonCore core) {
                         false, // dev_mode
                         0, // utf8_mode
         }));
+        Object[] arr = convertToObjectArray(PythonOptions.getExecutableList(context));
+        PList executableList = PythonObjectFactory.getUncached().createList(arr);
+        mod.setAttribute("executable_list", executableList);
+    }
+
+    private static Object[] convertToObjectArray(String[] arr) {
+        Object[] objectArr = new Object[arr.length];
+        System.arraycopy(arr, 0, objectArr, 0, arr.length);
+        return objectArr;
     }
 
     @Builtin(name = "cache_module_code", minNumOfPositionalArgs = 3)

graalpython/lib-python/3/venv/__init__.py

@@ -139,7 +139,7 @@ def create_if_needed(d):
         with open(script, "w") as f:
             if sys.platform != "win32":
                 f.write("#!/bin/sh\n")
-            f.write(sys.executable)
+            f.write(" ".join(__graalpython__.executable_list))
             f.write(" --experimental-options --python.CoreHome='%s' --python.StdLibHome='%s' --python.SysPrefix='%s' --python.SysBasePrefix='%s' --python.Executable='%s' --python.CAPI='%s'" % (
                 __graalpython__.core_home,
                 __graalpython__.stdlib_home,