Сборка LablGtk не удается

Question

Я пытаюсь собрать LablGtk, чтобы включить сборку CoqIDE из исходного кода. Я использовал lablgtk-2.18.7.tar.gz из здесь . Когда я попытался configure-make, я получил эту ошибку (и другие подобные ошибки):

File "gdk.ml", line 346, characters 2-55:
346 |   external create : len:int -> t = "ml_point_array_new"
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error (warning 61): This primitive declaration uses type t, which is unannotated and
unboxable. The representation of such types may change in future
versions. You should annotate the declaration of t with [@@boxed]
or [@@unboxed].

Что я сделал не так?

Answer 1

Makefile Lablgtk превращает все предупреждения в ошибки, что имеет тенденцию ломаться с новыми версиями компилятора.Вы можете исправить это поведение, удалив -warn-error A-52 из Makefile.