blob: bc9cbbddc302f447dc621b8c64096856e695caf0 [file] [log] [blame]
gwt.team.scottb14c5b9d2006-12-10 06:06:08 +00001<project name="doctool" default="build" basedir=".">
fabbott@google.com0e2dc6282008-08-22 16:09:01 +00002 <property name="gwt.root" location="../.." />
3 <property name="project.tail" value="build-tools/doctool" />
4 <import file="${gwt.root}/common.ant.xml" />
gwt.team.scottb14c5b9d2006-12-10 06:06:08 +00005
fabbott@google.com0e2dc6282008-08-22 16:09:01 +00006 <property.ensure name="java.tools.path" location="${java.home}/../lib/tools.jar" unless="build.host.ismac" message="Cannot find ${java.home}/../lib/tools.jar; please use a JDK when building doc rather than a JRE." />
gwt.team.scottb6e4a1702006-12-12 04:23:38 +00007
fabbott@google.com0e2dc6282008-08-22 16:09:01 +00008 <target name="compile" description="Compiles this project">
9 <mkdir dir="${javac.out}" />
10 <gwt.javac>
11 <classpath>
12 <pathelement location="${java.tools.path}" />
13 </classpath>
14 </gwt.javac>
15 </target>
gwt.team.scottb14c5b9d2006-12-10 06:06:08 +000016
fabbott@google.com0e2dc6282008-08-22 16:09:01 +000017 <target name="build" depends="compile" description="Packages this project into a jar">
18 <mkdir dir="${gwt.build.lib}" />
19 <gwt.jar>
20 <fileset dir="src" />
21 <fileset dir="${javac.out}" />
22 </gwt.jar>
23 </target>
gwt.team.scottb14c5b9d2006-12-10 06:06:08 +000024
fabbott@google.com0e2dc6282008-08-22 16:09:01 +000025 <target name="checkstyle" description="Static analysis of source">
26 <gwt.checkstyle>
27 <fileset dir="src" />
28 </gwt.checkstyle>
29 </target>
gwt.team.scottb14c5b9d2006-12-10 06:06:08 +000030
fabbott@google.com0e2dc6282008-08-22 16:09:01 +000031 <target name="clean" description="Cleans this project's intermediate and output files">
32 <delete dir="${project.build}" />
33 <delete file="${project.lib}" />
34 </target>
gwt.team.scottb14c5b9d2006-12-10 06:06:08 +000035
36</project>