src/server/plugins/java/build.xml@a166a15f7b74 (annotated)
src/server/plugins/java/build.xml
Tue, 20 Aug 2024 12:34:32 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Tue, 20 Aug 2024 12:34:32 +0200
- changeset 553
- a166a15f7b74
- parent 84
- afd57ce39ec9
- permissions
- -rw-r--r--
fix pg ext uninitialized memory acces - fixes #420
|
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> |
