--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/server/plugins/java/build.xml Mon Jul 08 11:10:54 2013 +0200 @@ -0,0 +1,18 @@ +<project> + <property name="src" location="javasrc"/> + <property name="build" location="../../../../build/java"/> + <property name="dist" location="../../../../work"/> + + <target name="clean"> + <delete dir="../../../../build/java"/> + </target> + + <target name="compile"> + <mkdir dir="${build}"/> + <javac srcdir="javasrc" destdir="../../../../build/java"/> + </target> + + <target name="jar"> + <jar destfile="${dist}/lib/wsrt.jar" basedir="${build}"/> + </target> +</project>