Ignore:
Timestamp:
2007-10-24T20:13:09+02:00 (17 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/openvisible/build.xml

    r5147 r5153  
    44  <property name="josm.build.dir" value="../../core"/>
    55  <property name="josm.home.dir" value="${user.home}/.josm"/>
    6   <property name="plugin.build.dir" value="bin"/>
    7   <property name="plugin.dist.dir" value="dist"/>
     6  <property name="plugin.build.dir" value="build"/>
     7  <property name="plugin.dist.dir" value="../dist"/>
    88  <property name="plugin.name" value="${ant.project.name}"/>
    9   <property name="plugin.jar" value="${plugin.name}.jar"/>
     9  <property name="plugin.jar" value="../dist/${plugin.name}.jar"/>
    1010 
    1111  <!-- plugin meta data (enter new version number if anything changed!) -->
     
    8181  </target>
    8282
    83   <target name="clean">
    84     <delete dir="${plugin.build.dir}" />
    85     <delete dir="${plugin.site.file}" />
    86     <delete dir="${plugin.jar}" />
    87   </target>
    88 
    8983  <!-- write site description for the given plugin so josm will accept it -->
    9084  <target name="site">
     
    138132</target>
    139133
     134<target name="clean">
     135  <delete dir="${plugin.build.dir}" />
     136  <delete dir="${plugin.site.file}" />
     137  <delete file="${plugin.jar}" />
     138</target>
     139
    140140</project>
Note: See TracChangeset for help on using the changeset viewer.