Changeset 5017 in osm for applications/editors/josm/plugins/grid
- Timestamp:
- 2007-10-15T18:27:44+02:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/plugins/grid/build.xml
r3785 r5017 1 1 <project name="grid" default="build" basedir="."> 2 2 3 <!-- compilation properties --> 4 <property name="josm.build.dir" value="../../core"/> 5 <property name="josm.home.dir" value="${user.home}/.josm"/> 6 <property name="plugin.build.dir" value="bin"/> 7 <property name="plugin.name" value="${ant.project.name}"/> 8 <property name="plugin.jar" value="${plugin.name}.jar"/> 9 3 10 <!-- point to your JOSM directory --> 4 <property name="josm" location=" ../../core/dist/josm-custom.jar" />11 <property name="josm" location="${josm.build.dir}/dist/josm-custom.jar" /> 5 12 6 13 … … 21 28 <fileset dir="images" /> 22 29 </copy> 23 <jar destfile=" dist/grid.jar" basedir="build">30 <jar destfile="${plugin.jar}" basedir="build"> 24 31 <manifest> 25 32 <attribute name="Plugin-Class" value="grid.GridPlugin" /> … … 32 39 <delete dir="build" /> 33 40 <delete dir="dist" /> 41 <delete dir="${plugin.jar}" /> 34 42 </target> 35 43 36 44 <target name="install" depends="build"> 37 <copy file=" dist/grid.jar" todir="${user.home}/.josm/plugins"/>45 <copy file="${plugin.jar}" todir="${user.home}/.josm/plugins"/> 38 46 </target> 39 47 48 40 49 </project>
Note:
See TracChangeset
for help on using the changeset viewer.