构建 LablGtk 失败
Building LablGtk fails
我正在尝试构建 LablGtk 以启用从源构建 CoqIDE。
我使用了 here 中的 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].
我做错了什么？
Lablgtk 的 Makefile 正在将所有警告转化为错误，这往往会随着新的编译器版本而中断。您可以通过从 Makefile 中删除 -warn-error A-52 来修复此行为。
我正在尝试构建 LablGtk 以启用从源构建 CoqIDE。
我使用了 here 中的 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].
我做错了什么？
Lablgtk 的 Makefile 正在将所有警告转化为错误，这往往会随着新的编译器版本而中断。您可以通过从 Makefile 中删除 -warn-error A-52 来修复此行为。