构建LablGtk失败

我正在尝试构建

LablGtk

，以从源代码启用构建

CoqIDE

。 我使用了来自的

lablgtk-2.18.7.tar.gz

。当我尝试

configure make

it时，我遇到了以下错误（以及类似的其他错误）：

---

我做错了什么

Lablgtk的Makefile正在将所有警告转化为错误，而新的编译器版本往往会导致错误。您可以通过从Makefile中删除

-warn error A-52

来修复此行为

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].