I'm working my way through Rawhide rebuilds for the recent OCaml update. One of my builds failed last night like this: "ocamlc.opt" -rectypes -thread -I +lablgtk2 -I config -I lib -I kernel -I kernel/byterun -I library -I proofs -I tactics -I pretyping -I interp -I toplevel -I parsing -I tools -I tools/coqdoc -I scripts -I ide/utils -I ide -I plugins/omega -I plugins/romega -I plugins/micromega -I plugins/quote -I plugins/ring -I plugins/setoid_ring -I plugins/xml -I plugins/extraction -I plugins/fourier -I plugins/cc -I plugins/funind -I plugins/firstorder -I plugins/field -I plugins/subtac -I plugins/rtauto -I plugins/nsatz -I plugins/syntax -I plugins/decl_mode -I "/usr/lib/ocaml/camlp5" -o bin/coqide.byte unix.cma threads.cma lablgtk.cma gtkThread.cmo\ str.cma -dllib -lcoqrun -dllpath '/usr/lib/coq' config/coq_config.cmo lib/flags.cmo lib/xml_lexer.cmo lib/xml_parser.cmo lib/xml_utils.cmo toplevel/ide_intf.cmo ide/ide.cma ide/coqide_main.ml 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. -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
