src/server/plugins/java/build.xml@63d9051fe35c (annotated)
src/server/plugins/java/build.xml
Wed, 28 Oct 2015 17:59:34 +0100
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Wed, 28 Oct 2015 17:59:34 +0100
- changeset 105
- 63d9051fe35c
- parent 84
- afd57ce39ec9
- permissions
- -rw-r--r--
using readdir_r instead of readdir
|
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> |
