llvm OCaml绑定

Question

我正在研究llvm OCaml绑定。

我通过opam（opam install llvm）安装了llvm包，当我在utop中使用llvm时，我收到以下错误：

#require "llvm";;
Error: The external function 'llvm_global_succ' is not available. 

opam llvm版本为3.2。

我也尝试从官方网站（./configure --with-ocaml-libdir='ocamlc -where'）构建llvm3.3，构建成功（所有llvm命令行工具都正常工作），但我在utop中遇到了同样的错误。

我使用的是Mac OS 10.7.5。

---

编辑：我解决了..

ocamlmktop -o llvmtop llvm.cma -cc g++

然后启动llvmtop，您可以在open Llvm之后使用llvm绑定。

我还没找到utop的等价物。

---

Edit2：现在utop正在运行！

感谢utop文档here

1. 创建myutop_main.ml文件：

   let () = UTop_main.main ()

2. 使用llvm绑定创建自定义utop：

   ocamlfind ocamlmktop -o llvmutop -thread -linkpkg -package utop -package llvm myutop_main.ml -cc g++

Answer 1

（因为我被要求回答我自己的问题......）

使用系统顶层

ocamlmktop -o llvmtop llvm.cma -cc g++

然后启动llvmtop，您可以在open Llvm之后使用llvm绑定。

我还没找到utop的等价物。

---

使用utop

感谢utop文档here

1. 创建myutop_main.ml文件：

   let () = UTop_main.main ()

2. 使用llvm绑定创建自定义utop：

   ocamlfind ocamlmktop -o llvmutop -thread -linkpkg -package utop -package llvm myutop_main.ml -cc g++