Re: [webkit-dev] GTK EWS bot failing to build (gtkdoc-mkdb can’t find WebKitDOMCustomUnstable.h)

2014-11-09 Thread Carlos Garcia Campos 
El dom, 09-11-2014 a las 11:30 +0100, Carlos Garcia Campos escribió:
> El dom, 09-11-2014 a las 11:07 +0100, Carlos Garcia Campos escribió:
> > El sáb, 08-11-2014 a las 16:27 -0800, Darin Adler escribió:
> > > Hi folks.
> > > 
> > > The GTK EWS bot is failing to build, with this error:
> > > 
> > > > Can't open 
> > > > /home/rego/checkout/WebKit/WebKitBuild/Release/DerivedSources/webkitdom/WebKitDOMCustomUnstable.h:
> > > >  No such file or directory at 
> > > > /home/rego/checkout/WebKit/WebKitBuild/DependenciesGTK/Root/bin/gtkdoc-mkdb
> > > >  line 3889.
> > > > 
> > > > Generating webkitdomgtk documentation...
> > > > Traceback (most recent call last):
> > > >   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 
> > > > 201, in 
> > > > 
> > > > generate_documentation_for_config(common.build_path('gtkdoc-webkitdom.cfg'))
> > > >   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 
> > > > 152, in generate_documentation_for_config
> > > > return generate_doc(generator, arguments.skip_html)
> > > >   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 
> > > > 133, in generate_doc
> > > > generator.generate(not skip_html)
> > > >   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 145, in 
> > > > generate
> > > > self._run_gtkdoc_mkdb()
> > > >   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 361, in 
> > > > _run_gtkdoc_mkdb
> > > > self._run_command(args, cwd=self.output_dir)
> > > >   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 210, in 
> > > > _run_command
> > > > % (args[0], process.returncode))
> > > 
> > > Is there someone who knows how to fix this?
> > 
> > hmm, a clean build should fix that, I'd say.
> 
> However, that should never happen, unstable headers shouldn't be scanned
> by gtk-doc, so this is revealing a bug in our generate-gtkdoc script.

https://bugs.webkit.org/show_bug.cgi?id=138542

> > > — Darin
> > > ___
> > > webkit-dev mailing list
> > > webkit-dev@lists.webkit.org
> > > https://lists.webkit.org/mailman/listinfo/webkit-dev
> > 
> > 
> > ___
> > webkit-dev mailing list
> > webkit-dev@lists.webkit.org
> > https://lists.webkit.org/mailman/listinfo/webkit-dev
> 
> 
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev


___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

Re: [webkit-dev] GTK EWS bot failing to build (gtkdoc-mkdb can’t find WebKitDOMCustomUnstable.h)

2014-11-09 Thread Carlos Garcia Campos 
El dom, 09-11-2014 a las 11:07 +0100, Carlos Garcia Campos escribió:
> El sáb, 08-11-2014 a las 16:27 -0800, Darin Adler escribió:
> > Hi folks.
> > 
> > The GTK EWS bot is failing to build, with this error:
> > 
> > > Can't open 
> > > /home/rego/checkout/WebKit/WebKitBuild/Release/DerivedSources/webkitdom/WebKitDOMCustomUnstable.h:
> > >  No such file or directory at 
> > > /home/rego/checkout/WebKit/WebKitBuild/DependenciesGTK/Root/bin/gtkdoc-mkdb
> > >  line 3889.
> > > 
> > > Generating webkitdomgtk documentation...
> > > Traceback (most recent call last):
> > >   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 201, 
> > > in 
> > > 
> > > generate_documentation_for_config(common.build_path('gtkdoc-webkitdom.cfg'))
> > >   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 152, 
> > > in generate_documentation_for_config
> > > return generate_doc(generator, arguments.skip_html)
> > >   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 133, 
> > > in generate_doc
> > > generator.generate(not skip_html)
> > >   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 145, in 
> > > generate
> > > self._run_gtkdoc_mkdb()
> > >   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 361, in 
> > > _run_gtkdoc_mkdb
> > > self._run_command(args, cwd=self.output_dir)
> > >   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 210, in 
> > > _run_command
> > > % (args[0], process.returncode))
> > 
> > Is there someone who knows how to fix this?
> 
> hmm, a clean build should fix that, I'd say.

However, that should never happen, unstable headers shouldn't be scanned
by gtk-doc, so this is revealing a bug in our generate-gtkdoc script.

> > — Darin
> > ___
> > webkit-dev mailing list
> > webkit-dev@lists.webkit.org
> > https://lists.webkit.org/mailman/listinfo/webkit-dev
> 
> 
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev


___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

Re: [webkit-dev] GTK EWS bot failing to build (gtkdoc-mkdb can’t find WebKitDOMCustomUnstable.h)

2014-11-09 Thread Carlos Garcia Campos 
El sáb, 08-11-2014 a las 16:27 -0800, Darin Adler escribió:
> Hi folks.
> 
> The GTK EWS bot is failing to build, with this error:
> 
> > Can't open 
> > /home/rego/checkout/WebKit/WebKitBuild/Release/DerivedSources/webkitdom/WebKitDOMCustomUnstable.h:
> >  No such file or directory at 
> > /home/rego/checkout/WebKit/WebKitBuild/DependenciesGTK/Root/bin/gtkdoc-mkdb 
> > line 3889.
> > 
> > Generating webkitdomgtk documentation...
> > Traceback (most recent call last):
> >   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 201, in 
> > 
> > 
> > generate_documentation_for_config(common.build_path('gtkdoc-webkitdom.cfg'))
> >   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 152, in 
> > generate_documentation_for_config
> > return generate_doc(generator, arguments.skip_html)
> >   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 133, in 
> > generate_doc
> > generator.generate(not skip_html)
> >   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 145, in 
> > generate
> > self._run_gtkdoc_mkdb()
> >   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 361, in 
> > _run_gtkdoc_mkdb
> > self._run_command(args, cwd=self.output_dir)
> >   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 210, in 
> > _run_command
> > % (args[0], process.returncode))
> 
> Is there someone who knows how to fix this?

hmm, a clean build should fix that, I'd say.

> — Darin
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev


___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

[webkit-dev] GTK EWS bot failing to build (gtkdoc-mkdb can’t find WebKitDOMCustomUnstable.h)

2014-11-08 Thread Darin Adler 
Hi folks.

The GTK EWS bot is failing to build, with this error:

> Can't open 
> /home/rego/checkout/WebKit/WebKitBuild/Release/DerivedSources/webkitdom/WebKitDOMCustomUnstable.h:
>  No such file or directory at 
> /home/rego/checkout/WebKit/WebKitBuild/DependenciesGTK/Root/bin/gtkdoc-mkdb 
> line 3889.
> 
> Generating webkitdomgtk documentation...
> Traceback (most recent call last):
>   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 201, in 
> 
> 
> generate_documentation_for_config(common.build_path('gtkdoc-webkitdom.cfg'))
>   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 152, in 
> generate_documentation_for_config
> return generate_doc(generator, arguments.skip_html)
>   File "/home/rego/checkout/WebKit/Tools/gtk/generate-gtkdoc", line 133, in 
> generate_doc
> generator.generate(not skip_html)
>   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 145, in generate
> self._run_gtkdoc_mkdb()
>   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 361, in 
> _run_gtkdoc_mkdb
> self._run_command(args, cwd=self.output_dir)
>   File "/home/rego/checkout/WebKit/Tools/gtk/gtkdoc.py", line 210, in 
> _run_command
> % (args[0], process.returncode))

Is there someone who knows how to fix this?

— Darin
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev