Re: Use GtkHTML: no?

[Geoffrey Leach <geoff hughes net>]

On 01/27/2010 03:57:45 PM, Peter Bloomfield wrote:
> 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?

What actually happened was that you get --with-gtkhtml=no silently.