diff options
Diffstat (limited to 'build/ide.xml')
| -rwxr-xr-x | build/ide.xml | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/build/ide.xml b/build/ide.xml index 22e6818bea..51a9d82272 100755 --- a/build/ide.xml +++ b/build/ide.xml @@ -36,7 +36,6 @@ <path location="${gwt.dev.super.src}" /> <path location="${gwt.dev.src}" /> <path refid="client-compiler.deps" /> - <path refid="theme-compiler.deps" /> <path refid="server.deps" /> <path refid="shared.deps" /> <path refid="uitest.deps" /> @@ -68,9 +67,14 @@ </antcall> </target> - <target name="compile-theme"> + <target name="compile-theme" depends="generate-theme-compiler"> + <path id="theme.classpath"> + <path refid="classpath"/> + <path refid="theme-compiler.deps" /> + </path> + <java classname="com.vaadin.buildhelpers.CompileTheme" failonerror="yes" fork="yes"> - <classpath refid="classpath" /> + <classpath refid="theme.classpath" /> <jvmarg value="-Djava.awt.headless=true" /> <arg value="--theme" /> <arg value="${theme}" /> @@ -142,4 +146,7 @@ </fileset> </copy> </target> + <target name="generate-theme-compiler"> + <ant antfile="${basedir}/theme-compiler/build.xml" target="parser" dir="${basedir}/theme-compiler" /> + </target> </project> |