From 872c02c31cf95017d2babf50d5bd5a1b9617a3b1 Mon Sep 17 00:00:00 2001
From: Steven Rowe <sarowe@apache.org>
Date: Fri, 20 Sep 2013 01:45:33 +0000
Subject: [PATCH] Intellij config: pick up JDK definition from build.properties
 file under lucene/ or in home dir, and use it to populate config, so that
 updating doesnt have to involve manually setting the JDK.  Example line from
 my lucene/build.properties: idea.jdk=project-jdk-name="1.7"
 project-jdk-type="JavaSDK"

git-svn-id: https://svn.apache.org/repos/asf/lucene/dev/trunk@1524883 13f79535-47bb-0310-9956-ffa450edef68
---
 build.xml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/build.xml b/build.xml
index a660e87c051..b74b66a5707 100644
--- a/build.xml
+++ b/build.xml
@@ -236,8 +236,16 @@
   </target>
 
   <target name="idea" depends="resolve" description="Setup IntelliJ IDEA configuration">
+    <!-- Look for property definition for ${idea.jdk} in various *build.properties files -->
+    <property file="${user.home}/lucene.build.properties"/>
+    <property file="${user.home}/build.properties"/>
+    <property file="lucene/build.properties"/>
+    <property name="idea.jdk" value=""/>  <!-- Define ${idea.jdk} if it's not in any *build.properties file -->
     <copy todir=".">
       <fileset dir="dev-tools/idea"/>
+      <filterset begintoken="@" endtoken="@">
+        <filter token="idea.jdk" value="${idea.jdk}"/>
+      </filterset>
     </copy>
     <echo>
       To complete IntelliJ IDEA setup, you must manually configure