构建 LablGtk 失败

222

奥伦·伊什沙洛姆

我正在尝试构建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].

我做错了什么？

八时

Lablgtk 的 Makefile 正在将所有警告转化为错误，这往往会随着新的编译器版本而中断。您可以通过-warn-error A-52从 Makefile 中删除来修复此行为。

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。