From 246267ef5342433717cccaa73d4335732062447e Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Wed, 27 Feb 2008 20:25:06 +0300 Subject: [PATCH] release build for pycharm --- python/build/idea.properties | 83 ++++++++++++++ python/build/pycharm.bat | 66 +++++++++++ python/build/pycharm.exe.vmoptions | 5 + python/build/release.xml | 178 +++++++++++++++++++++++++++++ 4 files changed, 332 insertions(+) create mode 100644 python/build/idea.properties create mode 100644 python/build/pycharm.bat create mode 100644 python/build/pycharm.exe.vmoptions create mode 100644 python/build/release.xml diff --git a/python/build/idea.properties b/python/build/idea.properties new file mode 100644 index 000000000000..7d15a85e503f --- /dev/null +++ b/python/build/idea.properties @@ -0,0 +1,83 @@ +# Set up IDEA_PROPERTIES environment variable to specify custom location of this properties file like +# SET IDEA_PROPERTIES=c:\ideaconfig\idea.properties +# before launching idea. +# If not specified it is searched according following sequence (first successful is used). +# 1. ${user.home} +# 2. ${idea.home}/bin + +# Use ${idea.home} macro to specify location relative to IDEA installation home +# Also use ${xxx} where xxx is any java property (including defined in previous lines of this file) to refer to its value +# Note for Windows users: please make sure you're using forward slashes. I.e. c:/idea/system + +# path to IDEA config folder. Make sure you're using forward slashes +idea.config.path=${user.home}/.PyCharm10/config + +# path to IDEA system folder. Make sure you're using forward slashes +idea.system.path=${user.home}/.PyCharm10/system + +# path to user installed plugins folder. Make sure you're using forward slashes +idea.plugins.path=${user.home}/.PyCharm10/config/plugins + +#--------------------------------------------------------------------- +# Maximum file size (kilobytes) IDEA should provide intellisense for. +# The larger file is the slower its editor works and higher overall system memory requirements are +# if intellisense is enabled. Remove this property or set to very large number if you need +# intellisense for any files available regardless their size. +# Please note this option doesn't operate with Java files. Regardless of the option value intellisense will anyway stay there. +#--------------------------------------------------------------------- +idea.max.intellisense.filesize=2048 + +#--------------------------------------------------------------------- +# There are two possible values of idea.popup.weight property: "heavy" and "medium". +# If you have WM configured as "Focus follows mouse with Auto Raise" then you have to +# set this property to "medium". It prevents problems with popup menus on some +# configurations. +# --------------------------------------------------------------------- +idea.popup.weight=heavy + +#---------------------------------------------------------------------- +# Disabling this property may lead to visual glitches like blinking and fail to repaint +# on certain display adapter cards. +#---------------------------------------------------------------------- +sun.java2d.noddraw=true + +#----------------------------------------------------------------------- +# IDEA copies library jars to prevent their locking. If copying is not desirable, specify "true" +#----------------------------------------------------------------------- +idea.jars.nocopy=false + +#---------------------------------------------------------------------- +# Configure if a special launcher should be used when running processes from within IDEA. +# Using Launcher enables "soft exit" and "thread dump" features +#---------------------------------------------------------------------- +idea.no.launcher=false + +#----------------------------------------------------------------------- +# The VM option value to be used start the JVM in debug mode. +# Some environments define it in a different way (-XXdebug in Oracle VM) +#----------------------------------------------------------------------- +idea.xdebug.key=-Xdebug + +# Workaround for slow scrolling in JDK6 +swing.bufferPerWindow=false + +#----------------------------------------------------------------------- +# Switch into JMX 1.0 compatible mode +# Uncomment this option to be able to run IDEA using J2SDK 1.5 while working +# with application servers (like WebLogic) running 1.4 +#----------------------------------------------------------------------- +#jmx.serial.form=1.0 + +#----------------------------------------------------------------------- +# Uncomment this option if you don't like to receive notifications about +# fatal errors that happen to IDEA or plugins installed. +#----------------------------------------------------------------------- +#idea.fatal.error.notification=disabled + +#----------------------------------------------------------------------- +# Uncomment this property to prevent IDEA from throwing ProcessCanceledException when user activity +# detected. This option is only useful for plugin developers, while debugging PSI related activities +# performed in background error analysis thread. +# DO NOT UNCOMMENT THIS UNLESS YOU'RE DEBUGGING IDEA ITSELF. Significant slowdowns and lockups will happen otherwise. +#----------------------------------------------------------------------- +#idea.ProcessCanceledException=disabled diff --git a/python/build/pycharm.bat b/python/build/pycharm.bat new file mode 100644 index 000000000000..6c150ae60ab9 --- /dev/null +++ b/python/build/pycharm.bat @@ -0,0 +1,66 @@ +@echo off + +::---------------------------------------------------------------------- +:: PyCharm Startup Script +::---------------------------------------------------------------------- + +:: --------------------------------------------------------------------- +:: Before you run PyCharm specify the location of the +:: JDK 1.5 installation directory which will be used for running IDEA +:: --------------------------------------------------------------------- +IF "%IDEA_JDK%" == "" SET IDEA_JDK=%JDK_HOME% +IF "%IDEA_JDK%" == "" goto error + +:: --------------------------------------------------------------------- +:: Before you run PyCharm specify the location of the +:: directory where PyCharm is installed +:: In most cases you do not need to change the settings below. +:: --------------------------------------------------------------------- +SET IDEA_HOME=.. + +SET JAVA_EXE=%IDEA_JDK%\jre\bin\java.exe +IF NOT EXIST "%JAVA_EXE%" goto error + +IF "%IDEA_MAIN_CLASS_NAME%" == "" SET IDEA_MAIN_CLASS_NAME=com.intellij.idea.Main + +IF NOT "%IDEA_PROPERTIES%" == "" set IDEA_PROPERTIES_PROPERTY=-Didea.properties.file=%IDEA_PROPERTIES% + +:: --------------------------------------------------------------------- +:: You may specify your own JVM arguments in pycharm.exe.vmoptions file. Put one option per line there. +:: --------------------------------------------------------------------- +SET ACC= +FOR /F "delims=" %%i in (%IDEA_HOME%\bin\pycharm.exe.vmoptions) DO call %IDEA_HOME%\bin\append.bat "%%i" + +set REQUIRED_IDEA_JVM_ARGS=-Xbootclasspath/p:%IDEA_HOME%/lib/boot.jar -Didea.platform.prefix=Python %IDEA_PROPERTIES_PROPERTY% %REQUIRED_IDEA_JVM_ARGS% +SET JVM_ARGS=%ACC% %REQUIRED_IDEA_JVM_ARGS% + +SET OLD_PATH=%PATH% +SET PATH=%IDEA_HOME%\bin;%PATH% + +SET CLASS_PATH=%IDEA_HOME%\lib\bootstrap.jar +SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\util.jar +SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\jdom.jar +SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\log4j.jar +SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\extensions.jar +SET CLASS_PATH=%CLASS_PATH%;%IDEA_HOME%\lib\trove4j.jar + +:: TODO[yole]: remove +SET CLASS_PATH=%CLASS_PATH%;%IDEA_JDK%\lib\tools.jar + +:: --------------------------------------------------------------------- +:: You may specify additional class paths in IDEA_CLASS_PATH variable. +:: It is a good idea to specify paths to your plugins in this variable. +:: --------------------------------------------------------------------- +IF NOT "%IDEA_CLASS_PATH%" == "" SET CLASS_PATH=%CLASS_PATH%;%IDEA_CLASS_PATH% + +"%JAVA_EXE%" %JVM_ARGS% -cp "%CLASS_PATH%" %IDEA_MAIN_CLASS_NAME% %* + +SET PATH=%OLD_PATH% +goto end +:error +echo --------------------------------------------------------------------- +echo ERROR: cannot start PyCharm. +echo No JDK found to run PyCharm. Please validate either IDEA_JDK or JDK_HOME points to valid JDK installation +echo --------------------------------------------------------------------- +pause +:end diff --git a/python/build/pycharm.exe.vmoptions b/python/build/pycharm.exe.vmoptions new file mode 100644 index 000000000000..81b1b0b9ac45 --- /dev/null +++ b/python/build/pycharm.exe.vmoptions @@ -0,0 +1,5 @@ +-Xms32m +-Xmx128m +-XX:MaxPermSize=92m +-ea +-agentlib:yjpagent=disablej2ee,sessionname=PyCharm diff --git a/python/build/release.xml b/python/build/release.xml new file mode 100644 index 000000000000..cc51f9499e10 --- /dev/null +++ b/python/build/release.xml @@ -0,0 +1,178 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file