Re: Use GtkHTML: no?

[Peter Bloomfield <peterbloomfield bellsouth net>]

On 01/27/2010 01:33:51 PM Wed, Paweł Sałek wrote:
> On 01/25/2010 12:15:36 AM, Geoffrey Leach wrote:
> > On 01/24/2010 07:43:17 AM, Peter Bloomfield wrote:
[ snip ]
> > > Are you configuring --with-webkit?  That causes configure to ignore
> > > any other HTML options.  It should probably issue a warning that it's
> > > doing that...
> >
> > Sigh. Why me? Indeed, it was --with-webkit that was the problem. I've
> > attached the config.log.  Thanks.
>
> What do you think about an option conflict-checking patch, like the one attached?

I tried something like that when we first started testing webkit--the problem is that --with-gtkhtml=3 is the default, so if you want to configure --with-webkit, you have to explicitly use --without-gtkhtml or --with-gtkhtml=no to avoid erroring out.

Perhaps there's a way to make the default --with-gtkhtml=no when --with-webkit is specified?

Peter