Changeset 5437 in osm for applications/editors/josm/plugins/osmarender
- Timestamp:
- 2007-11-10T14:45:15+01:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/plugins/osmarender/build.xml
r5153 r5437 1 1 <project name="osmarender" default="install" basedir="."> 2 3 <!-- josm "user home" directory depends on the platform used (windows has a different place than unix/linux) --> 4 <property environment="env"/> 5 <condition property="josm.home.dir" value="${env.APPDATA}/JOSM" else="${user.home}/.josm"> 6 <and> 7 <os family="windows"/> 8 </and> 9 </condition> 2 10 3 11 <!-- compilation properties --> 4 12 <property name="josm.build.dir" value="../../core"/> 5 <property name="josm. home.dir" value="${user.home}/.josm"/>13 <property name="josm.plugins.dir" value="${josm.home.dir}/plugins"/> 6 14 <property name="josm" location="../../core/dist/josm-custom.jar" /> 7 15 <property name="plugin.build.dir" value="build"/> … … 24 32 <copy todir="${plugin.build.dir}" file="${rendering}/osmarender6/osmarender.xsl"/> 25 33 <copy tofile="${plugin.build.dir}/osm-map-features.xml" 26 file="${rendering}/osmarender5/osm-map-features-z17.xml"/> 34 file="${rendering}/osmarender6/osm-map-features-z17.xml"/> 35 <!--file="${rendering}/osmarender5/osm-map-features-z17.xml"/>--> 27 36 <jar destfile="${plugin.jar}" basedir="${plugin.build.dir}"> 28 37 <manifest> … … 38 47 </target> 39 48 40 <target name="install" depends="compile,dist" /> 49 <target name="install" depends="compile,dist"> 50 <copy file="${plugin.jar}" todir="${josm.plugins.dir}"/> 51 </target> 41 52 42 53 </project>
Note:
See TracChangeset
for help on using the changeset viewer.