blob: 4908d98e70f989e3f20d45931943e41246b9686a [file] [log] [blame]
gwt.team.jgw89075d42006-12-08 20:51:13 +00001<project name="doc" default="all" basedir=".">
gwt.team.scottb6ba31b82006-12-08 23:38:16 +00002 <property name="gwt.root" location=".." />
3 <property name="project.tail" value="doc" />
4 <import file="${gwt.root}/common.ant.xml" />
gwt.team.jgw89075d42006-12-08 20:51:13 +00005
gwt.team.scottb428b2632006-12-12 22:40:34 +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." />
7
gwt.team.scottb6ba31b82006-12-08 23:38:16 +00008 <property.ensure name="gwt.user.jar" location="${gwt.build.lib}/gwt-user.jar" />
9 <!-- Platform shouldn't matter here, just picking one -->
10 <property.ensure name="gwt.dev.jar" location="${gwt.build.lib}/gwt-dev-linux.jar" />
gwt.team.jgw89075d42006-12-08 20:51:13 +000011
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000012 <property name="USER_PKGS" value="com.google.gwt.core.client;com.google.gwt.core.ext;com.google.gwt.core.ext.typeinfo;com.google.gwt.i18n.client;com.google.gwt.json.client;com.google.gwt.junit.client;com.google.gwt.user.client;com.google.gwt.user.client.rpc;com.google.gwt.user.client.ui;com.google.gwt.user.server.rpc;com.google.gwt.xml.client;com.google.gwt.http.client" />
13 <property name="LANG_PKGS" value="java.lang;java.util" />
14 <property name="DOC_PKGS" value="com.google.gwt.doc" />
gwt.team.jgw89075d42006-12-08 20:51:13 +000015
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000016 <path id="USER_SOURCE_PATH">
17 <pathelement location="${gwt.root}/user/src" />
18 <pathelement location="${gwt.root}/user/javadoc" />
19 <pathelement location="${gwt.root}/user/super" />
20 <pathelement location="${gwt.root}/dev/core/src" />
21 </path>
gwt.team.jgw89075d42006-12-08 20:51:13 +000022
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000023 <path id="USER_CLASS_PATH">
24 <pathelement location="${gwt.user.jar}" />
25 <pathelement location="${gwt.dev.jar}" />
26 <pathelement location="${gwt.tools.lib}/junit/junit-3.8.1.jar" />
27 </path>
gwt.team.jgw89075d42006-12-08 20:51:13 +000028
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000029 <path id="DOC_SOURCE_PATH">
30 <pathelement location="./src" />
31 <path refid="USER_SOURCE_PATH" />
32 </path>
gwt.team.jgw89075d42006-12-08 20:51:13 +000033
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000034 <path id="DOC_PATH">
35 <pathelement location="./src" />
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000036 <pathelement location="${gwt.build.lib}/gwt-doctool.jar" />
gwt.team.scottb66242e92006-12-11 22:25:16 +000037 <path path="${java.tools.path}" />
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000038 <path refid="USER_SOURCE_PATH" />
39 </path>
gwt.team.jgw89075d42006-12-08 20:51:13 +000040
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000041 <target name="doc">
42 <java classpathref="DOC_PATH" classname="com.google.doctool.DocTool" fork="yes" failonerror="true">
43 <arg value="doc" />
44 <arg value="gwt-doc" />
45 <arg value="-out" />
46 <arg value="${project.build}" />
47 <arg value="-classpath" />
48 <arg pathref="USER_CLASS_PATH" />
49 <arg value="-sourcepath" />
50 <arg pathref="DOC_SOURCE_PATH" />
51 <arg value="-packages" />
52 <arg value="${DOC_PKGS}" />
53 </java>
54 </target>
gwt.team.jgw89075d42006-12-08 20:51:13 +000055
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000056 <target name="user">
57 <move file="${gwt.root}/user/super/com/google/gwt/junit/translatable/com/google/gwt/junit/client/GWTTestCase.java" tofile="${gwt.root}/user/super/com/google/gwt/junit/translatable/com/google/gwt/junit/client/GWTTestCase.java_" failonerror="false" />
58 <java classpathref="DOC_PATH" classname="com.google.doctool.DocTool" fork="yes" failonerror="true">
59 <arg value="java" />
60 <arg value="gwt-user" />
61 <arg value="-out" />
62 <arg value="${project.build}" />
63 <arg value="-overview" />
64 <arg value="./src/gwt-user.html" />
65 <arg value="-classpath" />
66 <arg pathref="USER_CLASS_PATH" />
67 <arg value="-sourcepath" />
68 <arg pathref="USER_SOURCE_PATH" />
69 <arg value="-packages" />
70 <arg value="${USER_PKGS}" />
71 </java>
72 <move file="${gwt.root}/user/super/com/google/gwt/junit/translatable/com/google/gwt/junit/client/GWTTestCase.java_" tofile="${gwt.root}/user/super/com/google/gwt/junit/translatable/com/google/gwt/junit/client/GWTTestCase.java" failonerror="false" />
73 </target>
gwt.team.jgw89075d42006-12-08 20:51:13 +000074
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000075 <target name="lang">
76 <java classpathref="DOC_PATH" classname="com.google.doctool.DocTool" fork="yes" failonerror="true">
77 <arg value="java" />
78 <arg value="gwt-lang" />
79 <arg value="-out" />
80 <arg value="${project.build}" />
81 <arg value="-overview" />
82 <arg value="./src/gwt-lang.html" />
83 <arg value="-classpath" />
84 <arg pathref="USER_CLASS_PATH" />
85 <arg value="-sourcepath" />
86 <arg path="${gwt.root}/user/super/com/google/gwt/emul" />
87 <arg value="-packages" />
88 <arg value="${LANG_PKGS}" />
89 </java>
90 </target>
gwt.team.jgw89075d42006-12-08 20:51:13 +000091
gwt.team.scottb6ba31b82006-12-08 23:38:16 +000092 <target name="html" depends="doc,user,lang">
93 <java classpathref="DOC_PATH" classname="com.google.doctool.DocTool" fork="yes" failonerror="true">
94 <arg value="-html" />
95 <arg value="Google Web Toolkit (Beta)" />
96 <arg value="gwt-doc" />
97 <arg value="gwt-user" />
98 <arg value="gwt-lang" />
99 <arg value="-out" />
100 <arg value="${project.build}" />
101 <arg value="-imagepath" />
102 <arg path="./src" />
103 </java>
104 <delete file="${project.build}/html/topics.htmls" />
105 <mkdir dir="${project.build}/css" />
106 <copy todir="${project.build}/css">
107 <fileset dir="src" includes="*.css" />
108 </copy>
109 </target>
gwt.team.jgw89075d42006-12-08 20:51:13 +0000110
gwt.team.scottb6ba31b82006-12-08 23:38:16 +0000111 <target name="javadoc">
112 <java classpathref="DOC_PATH" classname="com.google.doctool.custom.GWTJavaDoclet" fork="yes" failonerror="true">
113 <arg value="-quiet" />
114 <arg value="-source" />
115 <arg value="1.4" />
116 <arg value="-d" />
117 <arg value="${project.build}/javadoc" />
118 <arg value="-classpath" />
119 <arg pathref="USER_CLASS_PATH" />
120 <arg value="-sourcepath" />
121 <arg pathref="USER_SOURCE_PATH" />
122 <arg value="-examplepackages" />
123 <arg value="com.google.gwt.examples;com.google.gwt.examples.i18n;com.google.gwt.examples.http.client" />
124 <arg value="-packages" />
125 <arg value="${USER_PKGS}" />
126 </java>
127 </target>
gwt.team.jgw89075d42006-12-08 20:51:13 +0000128
gwt.team.scottb6ba31b82006-12-08 23:38:16 +0000129 <target name="build" depends="html, javadoc" />
gwt.team.jgw89075d42006-12-08 20:51:13 +0000130</project>
131