MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

added win launcher for 64 java to PyCharm community.

Browse Source
This commit is contained in:
Vladimir.Orlov
2014-08-04 12:16:09 +04:00
parent e795ef5ca7
commit a1d129b9ed
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/build/pycharm64_community_launcher.properties
+3
View File
@@ -0,0 +1,3 @@
IDS_JDK_ENV_VAR=PYCHARM_JDK_64
IDS_JDK_ONLY=true
IDS_VM_OPTIONS=-Didea.platform.prefix=PyCharmCore -Didea.no.jre.check=true -Didea.paths.selector=__PRODUCT_PATHS_SELECTOR__
python/build/pycharm_community_build.gant
+3
View File
@@ -162,11 +162,14 @@ public layoutCommunity(String classesPath, Set usedJars) {
ant.echo(message: "PC-${buildNumber}", file: "${paths.distAll}/build.txt")
def launcher = "${paths.distWin}/bin/pycharm.exe"
def launcher64 = "${paths.distWin}/bin/pycharm64.exe"
List resourcePaths = ["$ch/community-resources/src",
"$ch/platform/icons/src",
"$pythonCommunityHome/resources"]
buildWinLauncher("$ch", "$ch/bin/WinLauncher/WinLauncher.exe", launcher,
appInfo, "$pythonCommunityHome/build/pycharm_community_launcher.properties", system_selector, resourcePaths)
buildWinLauncher("$ch", "$ch/bin/WinLauncher/WinLauncher64.exe", launcher64,
appInfo, "$pythonCommunityHome/build/pycharm64_launcher.properties", system_selector, resourcePaths)
buildWinZip("${paths.artifacts}/pycharmPC-${buildNumber}.zip", [paths.distAll, paths.distWin])