Hi Martin, There doesn't currently exist a feature like you described in your post above. However, you can use a drop-in replacement module by defining a separate module XML file thanks to the rename-to attribute.
For example, let's say you have a module XML file defined for your application called MyApp.gwt.xml, and you wanted to have a separate configuration to compile for a single target browser. You could create a copy of your main module XML file, called MyApp-FF.gwt.xml, for example, and then pass that as the argument to the GWT compiler from command line. In both your main module XML and FF specific module XML files, you can add a rename-to attribute in the top-level module element, like so: <module rename-to='myapp'> In GWT 1.6, this will generate your application output in a war/myapp folder using either module XML configuration. This means that you can rely on the fact that no matter which one you use during compilation, the generated output will end up in the same location either way. In the MyApp-FF.gwt.xml file, you can add the <set-property name="user.agent" value="gecko1_8"/>. Hope that helps, -Sumit Chandel On Thu, May 21, 2009 at 11:24 PM, Martin <[email protected]> wrote: > > Hello > > Is there some way do pass a java property to gwt.xml as a parameter? > We need this for specifying for which browsers should be the GWT > compilation done. For example, if this would be possible: > > java -cp gwt-dev-linux.jar -DuserAgent=gecko > com.google.gwt.dev.Compiler ... > > <set-property name="user.agent" value="${userAgent}"/> > > or even > > <when-is-defined name="${userAgent}"> > <set-property name="user.agent" value="${userAgent}"/> > </when-is-defined> > > Any idea? > Thanks in advance. > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/Google-Web-Toolkit?hl=en -~----------~----~----~----~------~----~------~--~---
