Last change
on this file since 5207 was 5197, checked in by gabriel, 17 years ago |
Build all JOSM plugins for 1.5 by default.
|
File size:
1.4 KB
|
Rev | Line | |
---|
[2130] | 1 | <project name="slippymap" default="dist" basedir=".">
|
---|
| 2 |
|
---|
[5153] | 3 |
|
---|
| 4 | <!-- compilation properties -->
|
---|
| 5 | <property name="josm.build.dir" value="../../core"/>
|
---|
| 6 | <property name="josm.home.dir" value="${user.home}/.josm"/>
|
---|
| 7 | <property name="josm" location="../../core/dist/josm-custom.jar" />
|
---|
| 8 | <property name="plugin.build.dir" value="build"/>
|
---|
| 9 | <property name="plugin.dist.dir" value="../dist"/>
|
---|
| 10 | <property name="plugin.name" value="${ant.project.name}"/>
|
---|
| 11 | <property name="plugin.jar" value="../dist/${plugin.name}.jar"/>
|
---|
[5197] | 12 |
|
---|
| 13 | <property name="ant.build.javac.target" value="1.5"/>
|
---|
[5153] | 14 |
|
---|
| 15 |
|
---|
[5147] | 16 | <target name="dist" depends="compile">
|
---|
| 17 | <!-- images -->
|
---|
| 18 | <copy todir="build/images">
|
---|
| 19 | <fileset dir="images" />
|
---|
| 20 | </copy>
|
---|
[5153] | 21 |
|
---|
[5147] | 22 | <!-- create josm-custom.jar -->
|
---|
[5153] | 23 | <jar destfile="${plugin.jar}" basedir="build">
|
---|
[5147] | 24 | <manifest>
|
---|
| 25 | <attribute name="Plugin-Class" value="slippymap.SlippyMapPlugin" />
|
---|
| 26 | <attribute name="Plugin-Description" value="Displays a slippy map tile grid, and tile status info" />
|
---|
| 27 | </manifest>
|
---|
| 28 | </jar>
|
---|
| 29 | </target>
|
---|
[2130] | 30 |
|
---|
[5147] | 31 | <target name="compile" depends="init">
|
---|
| 32 | <javac srcdir="slippymap" classpath="../../core/dist/josm-custom.jar" destdir="build" />
|
---|
| 33 | </target>
|
---|
[5153] | 34 |
|
---|
[5147] | 35 | <target name="init">
|
---|
[5153] | 36 | <mkdir dir="${plugin.build.dir}" />
|
---|
[5147] | 37 | </target>
|
---|
[5153] | 38 |
|
---|
[5147] | 39 | <target name="clean">
|
---|
[5153] | 40 | <delete dir="${plugin.build.dir}" />
|
---|
| 41 | <delete file="${plugin.jar}" />
|
---|
[5147] | 42 | </target>
|
---|
[5153] | 43 |
|
---|
[2130] | 44 | </project>
|
---|
Note:
See
TracBrowser
for help on using the repository browser.