Changeset 3743 in osm for applications/editors/josm

Timestamp:

2007-07-26T10:24:42+02:00 (17 years ago)

Author:

christofd

Message:

new version due to josm interface changes

File:

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

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

@@ -9 +9 @@
    
    <!-- plugin meta data (enter new version number if anything changed!) -->
-   <property name="plugin.version" value="1.0.1"/>
+   <property name="plugin.version" value="1.2"/>
    <property name="plugin.description" value="Allow live GPS feed from a gpsd server (V${plugin.version})."/>
    <property name="plugin.stage" value="50"/>
@@ -66 +66 @@
   </target>
 
-  <!-- write site description for the given plugin -->
+  <!-- write site description for the given plugin so josm will accept it -->
   <target name="site">
+    <echo message="creating site description in ${plugin.site.file}"/>
+    <echo file="${plugin.site.file}">&lt;!-- plugins available on this site -->
+  &lt;plugins>
+    &lt;plugin id="${ant.project.name}" version="${plugin.version}">
+      &lt;name>${ant.project.name}&lt;/name>
+      &lt;description>${plugin.description}&lt;/description>
+      &lt;resource>${plugin.site.url}${plugin.jar}&lt;/resource>
+    &lt;/plugin>
+  &lt;/plugins>
+    </echo>
+  </target>
+
+  <!-- write site description for the given plugin (not implemented in JOSM as full version yet!) -->
+  <target name="site-full-donotuse">
     <echo message="creating site description in ${plugin.site.file}"/>
     <echo file="${plugin.site.file}">&lt;?xml version="1.0"?>
@@ -83 +97 @@
       &lt;description>${plugin.description}&lt;/description>
       &lt;resources>
-        &lt;resource src="${plugin.site.url}/${plugin.jar}"
-                  target="$${josm.user.dir}/plugins/${plugin.jar}"/>
+        &lt;resource src="${plugin.site.url}${plugin.jar}"
+                  target="${josm.home.dir}/plugins/${plugin.jar}"/>
       &lt;/resources>
     &lt;/plugin>