通过ocamlbuild/ocamlfind链接库

Question

我有一个本地固定的OPAM项目，名为ojasmine，我希望将其编译为库，供另一个名为test_tournabox的项目使用（最终编译成JavaScript）。然而，test_tournabox的编译失败了，出现了链接错误。

我按照以下方式编译ojasmine，生成目标文件ojasmine.cma：

ocamlbuild -cflag -annot -use-ocamlfind -pkgs js_of_ocaml.log,js_of_ocaml,js_of_ocaml.syntax -syntax camlp4o ojasmine.cma
Finished, 5 targets (5 cached) in 00:00:00.

接下来我这样安装：

ocamlfind install ojasmine META _build/ojasmine.cma

我发现奇怪的是ojasmine.cma不在我的项目目录中，而是在_build目录中。

输出结果为：

Installed /home/laheadle/.opam/4.02.0/lib/ojasmine/ojasmine.cma
Installed /home/laheadle/.opam/4.02.0/lib/ojasmine/META

接下来，我使用cd命令进入我的tournabox项目并尝试构建测试套件：

ocamlbuild -cflag -annot -use-ocamlfind -pkgs js_of_ocaml.log,js_of_ocaml,js_of_ocaml.syntax,ojasmine -syntax camlp4o test_tournabox.byte
+ ocamlfind ocamlc -linkpkg -syntax camlp4o -package ojasmine -package js_of_ocaml.syntax -package js_of_ocaml -package js_of_ocaml.log choice.cmo util.cmo entry.cmo ttypes.cmo columns.cmo countries.cmo country_group.cmo jsutil.cmo performance_group.cmo round_group.cmo seed_group.cmo tlog.cmo tourney.cmo tournabox_lib.cmo test_tournabox.cmo -o test_tournabox.byte

这会导致以下错误：

Error: Error while linking test_tournabox.cmo:
Reference to undefined global `Ojasmine'

似乎ojasmine.cma没有链接到可执行文件test_tournabox.byte中，但我希望ocamlfind的-linkpkg参数能够安排这个问题。我错过了什么？

编辑：以下是META文件：

description = "Unit Tests for javascript"
requires = "js_of_ocaml,js_of_ocaml.syntax"
version = "0.1"

这里是ocamlobjinfo：

trusty)laheadle@localhost:~/ocaml/ojasmine$ ocamlobjinfo _build/ojasmine.cma 
File _build/ojasmine.cma
Force custom: no
Extra C object files:
Extra C options:
Extra dynamically-loaded libraries:
Unit name: Ojasmine
Interfaces imported:
        ef5bf1a1d49ad28ddd8176a4f17055e1        Ojasmine
        c1a8a443b33589e4865a918c21fbbeb4        Js
        5de66fdff01f2735974be770893841e1        Pervasives
        a88f91d0f04fd66bc0bbaaf347081e95        CamlinternalFormatBasics
Uses unsafe features: no
Force link: no

ocamlfind 看到了它：

(trusty)laheadle@localhost:~/ocaml/ojasmine$ ocamlfind query ojasmine
/home/laheadle/.opam/4.02.0/lib/ojasmine

这里是：

(trusty)laheadle@localhost:~/ocaml/ojasmine$ ls `ocamlfind query ojasmine`
META  ojasmine.cma

这里是ojasmine.ml：

open Js

let describe (s : js_string t) (f: unit -> unit) : unit =
  Js.Unsafe.fun_call (Js.Unsafe.variable "describe")
    [| Js.Unsafe.inject s;
       Js.Unsafe.inject (Js.wrap_callback f) |]

let it (s : js_string t) (f: unit -> unit) : unit =
  Js.Unsafe.fun_call (Js.Unsafe.variable "it")
    [| Js.Unsafe.inject s;
       Js.Unsafe.inject (Js.wrap_callback f) |]

class type matcher = object
  method toBe: bool t -> unit meth
  method _not: matcher t readonly_prop
end

let expect_bool (b: bool t) : matcher t =
  Js.Unsafe.fun_call (Js.Unsafe.variable "expect") [|Js.Unsafe.inject b; |]

同时还有 ojasmine.mli：

open Js
val describe: js_string t -> (unit -> unit) -> unit

val it: js_string t -> (unit -> unit) -> unit

class type matcher = object
  method toBe: bool t -> unit meth
  method _not: matcher t readonly_prop
end

val expect_bool: bool t -> matcher t

- Lyn Headley

---

你能提供针对 ojasmine.cma 运行 ocamlobjinfo 的输出吗？ - ivg

包是否在 ocamlfind 查询/列表中出现？您能否使用 ocamlfind 将 CMA 加载到 toplevel 中？ - nlucaroni

可以查看META文件。也许它没有提供良好的链接信息。 - PatJ

我已经更新了所有问题的答案，除了最高层。我正在研究这个问题。 - Lyn Headley

Answer 1

你的 META 文件应该包含一个 archive 变量，这样 ocamlfind 就能够正确地将你的程序链接到归档文件而不是目标文件。此外，你需要安装你的 cmi 文件。（虽然它对编译不是必需的，但安装 mli 文件是一种良好的习惯）。因此，请在你的 META 文件中添加以下内容。

archive(byte) = "ojasmine.cma"

不要忘记安装 cmi。

- ivg