Last change
on this file since 3532 was 2768, checked in by damians, 18 years ago |
Added standard style loading
Dashed areas
Added standard/elemstyles.xml, will be loaded on start if needed
|
File size:
1.2 KB
|
Line | |
---|
1 | <project name="mappaint" default="build" basedir=".">
|
---|
2 |
|
---|
3 | <!-- point to your JOSM directory -->
|
---|
4 | <!-- <property name="josm" location="../../../../editors/josm/dist/josm-custom.jar" /> -->
|
---|
5 | <property name="josm" location="../josm/josm-latest.jar" ></property>
|
---|
6 |
|
---|
7 |
|
---|
8 |
|
---|
9 | <target name="init">
|
---|
10 | <mkdir dir="build"></mkdir>
|
---|
11 | <mkdir dir="dist"></mkdir>
|
---|
12 | </target>
|
---|
13 |
|
---|
14 | <target name="compile" depends="init">
|
---|
15 | <javac srcdir="src" classpath="${josm}" destdir="build" debug="true">
|
---|
16 | <include name="**/*.java" />
|
---|
17 | </javac>
|
---|
18 | </target>
|
---|
19 |
|
---|
20 | <target name="build" depends="compile">
|
---|
21 | <copy todir="build/standard">
|
---|
22 | <fileset dir="styles/standard"></fileset>
|
---|
23 | </copy>
|
---|
24 | <jar destfile="dist/mappaint.jar" basedir="build">
|
---|
25 | <manifest>
|
---|
26 | <attribute name="Plugin-Class" value="mappaint.MapPaintPlugin" />
|
---|
27 | <attribute name="Plugin-Description" value="An alternative render for the map with colouring, line thickness and icons.<br>You need an elemstyles.xml saved into ~/.josm/plugins/mappaint/" />
|
---|
28 | </manifest>
|
---|
29 | </jar>
|
---|
30 | </target>
|
---|
31 |
|
---|
32 | <target name="clean">
|
---|
33 | <delete dir="build" />
|
---|
34 | <delete dir="dist" />
|
---|
35 | </target>
|
---|
36 |
|
---|
37 | <target name="install" depends="build">
|
---|
38 | <copy file="dist/mappaint.jar" todir="${user.home}/.josm/plugins"/>
|
---|
39 | </target>
|
---|
40 |
|
---|
41 | </project>
|
---|
Note:
See
TracBrowser
for help on using the repository browser.