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=0229e3ae41be109ac423b2eb2ddf79e24b799d60 http://cgit.freedesktop.org/mesa/mesa/commit/?id=2b8e90a33826dcd30b0cbbf464fbd191bf299d38 http://cgit.freedesktop.org/mesa/mesa/commit/?id=e20a0f14b5fdbff9afa5d0d6ee35de8728f6a200 Background: http://lists.freedesktop.org/archives/wayland-devel/2012-October/005740.html HTH CU knurd -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
