В моем Ubuntu у меня есть пакет "liblablgtk2-gl-ocaml":
$ apt-cache show liblablgtk2-gl-ocaml-dev
....
Этот пакет содержит файлы разработки lablgtk для библиотек, использующих
GtkGL.
Никогда не использовал его, но я думаю, что привязки GtkGL это именно то, что вам нужно.