本文介绍了构建LablGtk失败的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
我正在尝试构建LablGtk以启用从源构建CoqIDE.我从此处使用了lablgtk-2.18.7.tar.gz.当我尝试configure-make时，出现此错误(以及其他类似错误):
I'm trying to build LablGtk to enable building CoqIDE from source.I used lablgtk-2.18.7.tar.gz from here. When I tried to configure-make it I got this error (and similar other errors):
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's Makefile is turning all warnings into errors, which tends to break with new compiler versions. You can fix this behavior by removing -warn-error A-52 from the Makefile.
这篇关于构建LablGtk失败的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！