ocaml - ocamlgraph 中的编译错误

标签 ocaml static-analysis ocamlbuild frama-c

我正在尝试安装 ocamlgraph 作为 frama-c 的要求。当我安装 ocamlgraph 并运行 make 时,出现以下编译错误:

ocamlopt.opt -c -I src -I lib -for-pack Graph src/delaunay.ml  
/tmp/camlasmc2c286.s: Assembler messages:  
/tmp/camlasmc2c286.s: Error: .size expression for camlGraph__Delaunay__ccw_291 does not evaluate to a constant  
/tmp/camlasmc2c286.s: Error: .size expression for camlGraph__Delaunay__in_circle_298 does not evaluate to a constant  
File "src/delaunay.ml", line 1, characters 0-1:  
Error: Assembler error, input left in file /tmp/camlasmc2c286.s  

我在 Ubuntu-10.04 上运行并尝试了 ocamlgraph-1.6 和 ocamlgraph-1.8.2 版本,但出现相同的错误。我机器上的 ocaml 版本是 ocaml-3.11.2。

谢谢

最佳答案

这是 a bug这是去年 binutils 版本的变化引起的。您可以通过在系统上安装旧版本的 binutils(不推荐)或更新版本的 OCaml(从 ocaml 3.12.1 开始)来修复它。

关于ocaml - ocamlgraph 中的编译错误,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/12222880/

相关文章:

syntax-error - 为什么这个非常简单的打印命令出现语法错误

scheme - 用于游戏开发的 OCaml 和 Scheme

c - MISRA 2012 规则 14.2

makefile - 在 ocamlbuild 中使用外部库

ocaml - 创建 OCaml 库

makefile - OCaml 生成文件 : No Rule to Make Target

ocaml - 如何在ocaml中读取文件?

ubuntu - 程序中不允许使用 OCaml '_a?

delphi - Delphi 的哪些程序分析工具支持持续集成系统?

c - 如何证明 Frama-C + EVA 中非确定性值的简单等式?