构建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

lablgtk的makefile正在将所有警告变成错误，这往往会随着新的编译器版本而破坏。您可以通过从makefile中删除-warn-error A-52来解决此行为。