[7287] | 1 | <project name="plastic_laf" default="dist" basedir=".">
|
---|
[1439] | 2 |
|
---|
[5153] | 3 | <!-- compilation properties -->
|
---|
| 4 | <property name="josm.build.dir" value="../../core"/>
|
---|
| 5 | <property name="josm.home.dir" value="${user.home}/.josm"/>
|
---|
| 6 | <property name="josm" location="../../core/dist/josm-custom.jar" />
|
---|
| 7 | <property name="plugin.build.dir" value="build"/>
|
---|
[6100] | 8 | <property name="plugin.dist.dir" value="../../dist"/>
|
---|
[5153] | 9 | <property name="plugin.name" value="${ant.project.name}"/>
|
---|
[6100] | 10 | <property name="plugin.jar" value="../../dist/${plugin.name}.jar"/>
|
---|
[5153] | 11 |
|
---|
[5197] | 12 | <property name="ant.build.javac.target" value="1.5"/>
|
---|
| 13 |
|
---|
[5153] | 14 | <target name="dist">
|
---|
[7287] | 15 | <echo message="creating ${plugin.jar}"/>
|
---|
| 16 | <mkdir dir="dist"></mkdir>
|
---|
[5153] | 17 | <unjar dest="${plugin.build.dir}" src="lib/looks-2.0.4.jar" />
|
---|
| 18 | <javac srcdir="src" destdir="${plugin.build.dir}">
|
---|
[5147] | 19 | <include name="**/*.java" />
|
---|
| 20 | </javac>
|
---|
[6034] | 21 | <!-- define the version of the jar file -->
|
---|
| 22 | <exec append="false" output="REVISION" executable="svn" failifexecutionfails="false">
|
---|
| 23 | <env key="LANG" value="C"/>
|
---|
| 24 | <arg value="info"/>
|
---|
| 25 | <arg value="--xml"/>
|
---|
| 26 | <arg value="."/>
|
---|
| 27 | </exec>
|
---|
| 28 | <xmlproperty file="REVISION" prefix="version" keepRoot="false" collapseAttributes="true"/>
|
---|
| 29 | <!-- delete intermediate file -->
|
---|
| 30 | <delete file="REVISION"/>
|
---|
[5153] | 31 | <jar destfile="${plugin.jar}" basedir="${plugin.build.dir}">
|
---|
[5147] | 32 | <manifest>
|
---|
| 33 | <attribute name="Plugin-Class" value="plastic_laf.Plugin" />
|
---|
| 34 | <attribute name="Plugin-Description" value="The great JGoodies Plastic Look and Feel" />
|
---|
[6034] | 35 | <attribute name="Plugin-Version" value="${version.entry.commit.revision}"/>
|
---|
[5147] | 36 | <attribute name="Plugin-Early" value="true" />
|
---|
| 37 | </manifest>
|
---|
| 38 | </jar>
|
---|
| 39 | </target>
|
---|
[1439] | 40 |
|
---|
[5147] | 41 | <target name="clean">
|
---|
[5153] | 42 | <delete dir="${plugin.build.dir}" />
|
---|
| 43 | <delete file="${plugin.jar}" />
|
---|
[5147] | 44 | </target>
|
---|
[3787] | 45 |
|
---|
[1439] | 46 | </project>
|
---|