Changeset 5428 in osm for applications/editors/josm/plugins/surveyor

Timestamp:

2007-11-10T12:45:07+01:00 (18 years ago)

Author:

ulf

Message:

change the install target, so it uses the right home dir even on windows

File:

• applications/editors/josm/plugins/surveyor/build.xml (modified) (3 diffs)

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

@@ -1 +1 @@
 <project name="surveyor" default="dist" basedir=".">
   
+  <!-- josm "user home" directory depends on the platform used (windows has a different place than unix/linux) -->
+  <property environment="env"/>
+  <condition property="josm.home.dir" value="${env.APPDATA}/JOSM" else="${user.home}/.josm">
+    <and>
+      <os family="windows"/>
+    </and>
+  </condition>
+
   <!-- compilation properties -->
   <property name="josm.build.dir"       value="../../core"/>
-  <property name="josm.home.dir"        value="${user.home}/.josm"/>
+  <property name="josm.plugins.dir" value="${josm.home.dir}/plugins"/>
   <property name="josm"                 location="../../core/dist/josm-custom.jar" />
   <property name="plugin.build.dir"     value="build"/>
@@ -50 +58 @@
   <target name="compile" depends="init">
     <mkdir dir="${plugin.build.dir}"/>
+    <copy todir="build/images" >
+      <fileset dir="images" />
+    </copy>
     <javac srcdir="src" destdir="${plugin.build.dir}" debug="true" source="1.5" target="1.5">
       <classpath>
@@ -62 +73 @@
   
   <target name="install" depends="dist">
-    <copy file="${plugin.jar}" todir="${josm.home.dir}/plugins" />
+    <copy file="${plugin.jar}" todir="${josm.plugins.dir}"/>
   </target>