Changeset 5153 in osm for applications/editors/josm/plugins/pluginmanager

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:

• applications/editors/josm/plugins/pluginmanager/build.xml (modified) (2 diffs)

applications/editors/josm/plugins/pluginmanager/build.xml

@@ -1 +1 @@
 <project name="pluginmanager" default="dist" basedir=".">
+
+  <!-- compilation properties -->
+  <property name="josm.build.dir"       value="../../core"/>
+  <property name="josm.home.dir"        value="${user.home}/.josm"/>
+  <property name="josm"                 location="../../core/dist/josm-custom.jar" />
+  <property name="plugin.build.dir"     value="build"/>
+  <property name="plugin.dist.dir"      value="../dist"/>
+  <property name="plugin.name"          value="${ant.project.name}"/>
+  <property name="plugin.jar"           value="../dist/${plugin.name}.jar"/>
 
   <!-- compilation properties -->
@@ -68 +77 @@
     <delete dir="${plugin.build.dir}" />
     <delete dir="${plugin.site.file}" />
-    <delete dir="${plugin.jar}" />
+    <delete file="${plugin.jar}" />
   </target>