mirror of https://github.com/apache/lucene.git
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
This commit is contained in:
parent
82b4cca7b0
commit
872c02c31c
|
@ -236,8 +236,16 @@
|
||||||
</target>
|
</target>
|
||||||
|
|
||||||
<target name="idea" depends="resolve" description="Setup IntelliJ IDEA configuration">
|
<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=".">
|
<copy todir=".">
|
||||||
<fileset dir="dev-tools/idea"/>
|
<fileset dir="dev-tools/idea"/>
|
||||||
|
<filterset begintoken="@" endtoken="@">
|
||||||
|
<filter token="idea.jdk" value="${idea.jdk}"/>
|
||||||
|
</filterset>
|
||||||
</copy>
|
</copy>
|
||||||
<echo>
|
<echo>
|
||||||
To complete IntelliJ IDEA setup, you must manually configure
|
To complete IntelliJ IDEA setup, you must manually configure
|
||||||
|
|
Loading…
Reference in New Issue