From 90d6824e1c3aeb5d17de53ea53e423f44057b2b0 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@intellij.com>
Date: Mon, 3 Mar 2008 21:22:39 +0300
Subject: [PATCH] python searchable options

---
 python/build/release.xml | 23 ++++++++++++++++++++++-
 1 file changed, 22 insertions(+), 1 deletion(-)

diff --git a/python/build/release.xml b/python/build/release.xml
index 977f9e1420e0..0e9422789de4 100644
--- a/python/build/release.xml
+++ b/python/build/release.xml
@@ -5,6 +5,9 @@
   <property name="platform.dir" value="${out.dir}/platform/platform15"/>
   <property name="idea.dir" value="${out.dir}/idea"/>
 
+  <property name="idea.system.path" value="${out.dir}/system"/>
+  <property name="idea.config.path" value="${out.dir}/config"/>
+  
   <target name="release" depends="compile,jar,zip"/>
 
   <target name="init">
@@ -117,7 +120,25 @@
     <replace file="${classes.dir}/idea/PythonApplicationInfo.xml" token="__BUILD_DATE__" value="${DSTAMP}"/>
   </target>
 
-  <target name="jar" depends="compile">
+  <target name="build_searchable_options">
+    <mkdir dir="${classes.dir}/search"/>
+    <copy file="${idea.home}/build/idea.license"
+          todir="${idea.system.path}"/>
+    <java classname="com.intellij.idea.Main"
+          fork="true"
+          args="traverseUI ${classes.dir}/search/searchableOptions.xml">
+      <jvmarg line="-ea -Didea.home.path=${idea.home} -Didea.system.path=${idea.system.path} -Didea.config.path=${idea.config.path} -Didea.platform.prefix=Python -Didea.load.plugins=Pythonid -Didea.no.jre.check=true"  />
+      <jvmarg value="-Xbootclasspath/p:${idea.dir}/jdk15/lib/boot.jar"/>
+
+       <classpath>
+         <path refid="classpath.lib"/>
+         <pathelement location="${classes.dir}"/>
+         <pathelement location="${idea.home}/lib/junit.jar"/>
+       </classpath>
+     </java>
+  </target>
+
+  <target name="jar" depends="compile,build_searchable_options">
     <mkdir dir="${out.dir}/jar"/>
     <mkdir dir="${out.dir}/deploy"/>
     <unzip src="${platform.dir}/platform.jar" dest="${out.dir}/jar"/>