in src/main/groovy/com/jetbrains/python/envs/PythonEnvsExtension.groovy [37:50]
void python(final String envName,
final String version,
final String architecture = null,
final List<String> packages = null,
final String patchFileUri = null) {
if (zipRepository && shouldUseZipsFromRepository) {
if (patchFileUri) {
throw new InvalidUserDataException("A patch is defined for a pre-built Python")
}
pythonFromZip envName, getUrlFromRepository("python", version, architecture), "python", packages
} else {
pythons << new Python(envName, bootstrapDirectory, EnvType.PYTHON, version, is64(architecture), packages, null, patchFileUri)
}
}