src/server/plugins/java/build.xml

Thu, 16 Jan 2020 22:28:22 +0100

author
Olaf Wintermann <olaf.wintermann@gmail.com>
date
Thu, 16 Jan 2020 22:28:22 +0100
branch
webdav
changeset 226
49adcbd7d473
parent 84
afd57ce39ec9
permissions
-rw-r--r--

msresponse_addproperty: add support for xmlNode property values and add check to make sure, properties are only added once

84
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
1 <project>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
2 <property name="src" location="javasrc"/>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
3 <property name="build" location="../../../../build/java"/>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
4 <property name="dist" location="../../../../work"/>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
5
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
6 <target name="clean">
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
7 <delete dir="../../../../build/java"/>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
8 </target>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
9
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
10 <target name="compile">
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
11 <mkdir dir="${build}"/>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
12 <javac srcdir="javasrc" destdir="../../../../build/java"/>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
13 </target>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
14
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
15 <target name="jar">
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
16 <jar destfile="${dist}/lib/wsrt.jar" basedir="${build}"/>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
17 </target>
afd57ce39ec9 added initial java plugin code
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
18 </project>

mercurial