[fedora-arm] F18 build failures with webkitgtk3/source-highlight
Hi,
OLPC are starting to look at F18.
Things look surpisingly good, but one thing we're missing at the
moment is a recent webkitgtk3 build.
This is https://bugzilla.redhat.com/show_bug.cgi?id=843428
I have a fix, but I can't test it since the tree is currently broken:
something pulls in source-highlight, but that package hasn't yet been
rebuilt for the new boost version.
If source-highlight-3.1.6-3.fc18 were to be built in koji, the problem
would be solved. However, this hasn't happened yet - after a few days
of waiting.
If someone could have a manual poke-around (if not doing so already)
that would be much appreciated.
Daniel