Changeset 5437 in osm for applications/editors/josm/plugins

Timestamp:

2007-11-10T14:45:15+01:00 (17 years ago)

Author:

ulf

Message:

• change the install target, so it uses the right home dir even on windows
• use "/osmarender6/osm-map-features-z17.xml", probably that's the right file

File:

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

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

@@ -1 +1 @@
 <project name="osmarender" default="install" 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"/>
@@ -24 +32 @@
     <copy todir="${plugin.build.dir}" file="${rendering}/osmarender6/osmarender.xsl"/>
     <copy tofile="${plugin.build.dir}/osm-map-features.xml"
-          file="${rendering}/osmarender5/osm-map-features-z17.xml"/>
+          file="${rendering}/osmarender6/osm-map-features-z17.xml"/>
+          <!--file="${rendering}/osmarender5/osm-map-features-z17.xml"/>-->
     <jar destfile="${plugin.jar}" basedir="${plugin.build.dir}">
       <manifest>
@@ -38 +47 @@
   </target>
 
-  <target name="install" depends="compile,dist" />
+  <target name="install" depends="compile,dist">
+    <copy file="${plugin.jar}" todir="${josm.plugins.dir}"/>
+  </target>  
 
 </project>