在this post之后，我设法安装了LablGtk（我认为），但是当我尝试安装configure-make Coq时，仍然收到以下消息，提示CoqIDE将无法构建：
$ ./configure
You have OCaml 4.09.0+dev0-2019-01-18. Good!
You have OCamlfind 1.7.1. Good!
You have native-code compilation. Good!
You have the Num library installed. Good!
Warning: Incomplete LablGtk2 (via ocamlfind): no /usr/local/lib/ocaml/4.04.0/lablgtk2/gSourceView2.cmi.
Warning: Incomplete LablGtk2 (in OCaml library): no /usr/lib/ocaml/lablgtk2/gSourceView2.cmi.
LablGtk2 not found:
=> no CoqIde will be built.
Where should I install the Coq binaries [/usr/local/bin]?
如何确定已安装LablGtk？还是缺少其他东西？
编辑：
我从提取的sudo make install文件夹中再次运行LablGtk，现在我看到它失败了，因为它已经有了这个库，但是它与旧 ocaml版本相关联（???）：
$ sudo make install
ocamlfind: Package lablgtk2 is already installed
- (file /usr/local/lib/ocaml/4.04.0/lablgtk2/META already exists)
Makefile:400: recipe for target 'findlib-install' failed
make[1]: *** [findlib-install] Error 2
make[1]: Leaving directory '/home/oren/Downloads/lablgtk-2.18.7/src'
Makefile:5: recipe for target 'install' failed
make: *** [install] Error 2