On 19.10.2012 16:10, Jerry James wrote:
I'm working my way through Rawhide rebuilds for the recent OCaml
update. One of my builds failed last night like this:
[…]
File "ide/coqide_main.ml4", line 1:
Error: Error on dynamically loaded library:
/usr/lib/ocaml/stublibs/dlllablgtk2.so: /lib/libEGL.so.1: undefined
symbol: wl_display_sync
make[1]: *** [bin/coqide.byte] Error 2
make[1]: Leaving directory `/builddir/build/BUILD/coq-8.4'
make: *** [world] Error 2
There was a new build of wayland last night, which is where
wl_display_sync used to be defined. I don't know enough about either
mesa or wayland to know what the proper solution is, but it looks like
libEGL is currently broken in Rawhide.
I'd assume mesa in Fedora needs this three patches:
http://cgit.freedesktop.org/mesa/mesa/commit/?id=0229e3ae41be109ac423b2eb...
http://cgit.freedesktop.org/mesa/mesa/commit/?id=2b8e90a33826dcd30b0cbbf4...
http://cgit.freedesktop.org/mesa/mesa/commit/?id=e20a0f14b5fdbff9afa5d0d6...
Background:
http://lists.freedesktop.org/archives/wayland-devel/2012-October/005740.html
HTH
CU
knurd