> Here's a patch to link gtkada_gl.so to the libraries it uses. I have added a Library_Options to gtkada_gl.gpr in the development version. But I have not added Shared.Gtk_Libs to it, since this is already coming from the imported "gtkada" project, so there is a risk of duplicate libraries on the command line. Thanks regards Emmanuel