src/server/plugins/java/build.xml@79e542cc20a9 (annotated)
src/server/plugins/java/build.xml
Sun, 25 Sep 2022 12:12:53 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sun, 25 Sep 2022 12:12:53 +0200
- changeset 393
- 79e542cc20a9
- parent 84
- afd57ce39ec9
- permissions
- -rw-r--r--
fix listener not initialiazed before changeuid
|
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> |
