我正在尝试建立LablGtk
,以便从源头建立CoqIDE
。我使用了lablgtk-2.18.7.tar.gz
的here。当我尝试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
来解决此问题。