[5153] | 1 | <project name="wmsplugin" default="dist" basedir=".">
|
---|
[2121] | 2 |
|
---|
[5413] | 3 | <!-- josm "user home" directory depends on the platform used (windows has a different place than unix/linux) -->
|
---|
| 4 | <property environment="env"/>
|
---|
| 5 | <condition property="josm.home.dir" value="${env.APPDATA}/JOSM" else="${user.home}/.josm">
|
---|
| 6 | <and>
|
---|
| 7 | <os family="windows"/>
|
---|
| 8 | </and>
|
---|
| 9 | </condition>
|
---|
| 10 |
|
---|
[5153] | 11 | <!-- compilation properties -->
|
---|
| 12 | <property name="josm.build.dir" value="../../core"/>
|
---|
[5413] | 13 | <property name="josm.plugins.dir" value="${josm.home.dir}/plugins"/>
|
---|
[5153] | 14 | <property name="josm" location="../../core/dist/josm-custom.jar" />
|
---|
| 15 | <property name="plugin.build.dir" value="build"/>
|
---|
[6100] | 16 | <property name="plugin.dist.dir" value="../../dist"/>
|
---|
[5153] | 17 | <property name="plugin.name" value="${ant.project.name}"/>
|
---|
[6100] | 18 | <property name="plugin.jar" value="../../dist/${plugin.name}.jar"/>
|
---|
[2121] | 19 |
|
---|
[5197] | 20 | <property name="ant.build.javac.target" value="1.5"/>
|
---|
| 21 |
|
---|
[5147] | 22 | <target name="init">
|
---|
| 23 | <mkdir dir="build"></mkdir>
|
---|
| 24 | <mkdir dir="dist"></mkdir>
|
---|
| 25 | </target>
|
---|
[2121] | 26 |
|
---|
[5147] | 27 | <target name="compile" depends="init">
|
---|
[7287] | 28 | <echo message="creating ${plugin.jar}"/>
|
---|
[5147] | 29 | <javac srcdir="src" classpath="${josm}" debug="true" destdir="build">
|
---|
| 30 | <include name="**/*.java" />
|
---|
| 31 | </javac>
|
---|
| 32 | </target>
|
---|
[2121] | 33 |
|
---|
[5153] | 34 | <target name="dist" depends="compile">
|
---|
[5147] | 35 | <copy todir="build/images" >
|
---|
| 36 | <fileset dir="images" />
|
---|
| 37 | </copy>
|
---|
[5153] | 38 | <jar destfile="${plugin.jar}" basedir="build">
|
---|
[5147] | 39 | <manifest>
|
---|
| 40 | <attribute name="Plugin-Class" value="wmsplugin.WMSPlugin" />
|
---|
[5321] | 41 | <attribute name="Plugin-Version" value="3.0" />
|
---|
| 42 | <attribute name="Plugin-Description" value="Allows external WMS resources to be displayed." />
|
---|
[5147] | 43 | </manifest>
|
---|
| 44 | </jar>
|
---|
| 45 | </target>
|
---|
[2121] | 46 |
|
---|
[5147] | 47 | <target name="clean">
|
---|
[5153] | 48 | <delete dir="${plugin.build.dir}" />
|
---|
| 49 | <delete file="${plugin.jar}" />
|
---|
[5147] | 50 | </target>
|
---|
[5153] | 51 |
|
---|
| 52 | <target name="install" depends="dist">
|
---|
[5413] | 53 | <copy file="${plugin.jar}" todir="${josm.plugins.dir}"/>
|
---|
[5147] | 54 | </target>
|
---|
[5153] | 55 |
|
---|
[2121] | 56 | </project>
|
---|