Ignore:
Timestamp:
2007-10-24T20:13:09+02:00 (18 years ago)
Author:
joerg
Message:

josm/plugins/*build.xml: now we use the unique target dist for creating .jar files. Use a lot more variables to be able to move the build directory. destination directory for .jar files is now plugins/dist/*.jar. correcteed clean targets

File:
1 edited

Legend:

Unmodified
Added
Removed

  • applications/editors/josm/plugins/navigator/build.xml

    r5147 r5153  
    22
    33  <!-- 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"/>
     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"/>
     8  <property name="plugin.dist.dir"      value="../dist"/>
     9  <property name="plugin.name"          value="${ant.project.name}"/>
     10  <property name="plugin.jar"           value="../dist/${plugin.name}.jar"/>
    911 
    1012  <!-- plugin meta data (enter new version number if anything changed!) -->
Note: See TracChangeset for help on using the changeset viewer.