После этого поста Мне удалось установить 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 установлен? или если чего-то еще не хватает?
EDIT:
Я снова запустил 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