gtk - 构建 LablGtk 失败
问题描述
我正在尝试构建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 中删除来修复此行为。
推荐阅读
- node.js - 在 Node.js 中发出多个 get 请求并跟踪它们的响应
- javascript - 让 Redux Reducer 合并数组
- php - 不使用 Composer 安装 nexmo-php SMS API
- sql-server - 如何为偶数行和奇数行设置值?
- python-2.7 - 多处理池挂在 jupyter 笔记本中
- python - 如何在 Pandas 中创建带有偏移量的滚动时间窗口
- php - count():参数必须是数组或对象,根据数组大小实现Countable error
- javascript - 将折线与本机地图一起使用时出现空引用错误
- java - 无法推断 ResponseEntity<> 的类型参数
- kotlin - 如何在 kotlin 中打印 itemList 中可用的值?