构建LablGtk失败 [英] Building LablGtk fails

问题描述

我正在尝试构建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失败的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！