1

我对 OCaml 完全陌生，但是，我已经完成了一个项目，其中包括使用 z3 SAT 求解器来测试和收集数据。我通过 Opam 安装了所有东西，但是我收到了以下错误。我正在开发 Ubuntu 18.04。

那就是我安装了 Opam 和 OCaml 4.08.0，因为它是 switch 和包 z3、Zarith 和 Menhir。我将通过 Oasis 设置所有包（项目提供了 _oasis 文件）。我也遵循了这一点，因为开发人员警告我将 OCaml 绑定到 z3 可能存在一些问题。当出现此错误时，我尝试按照此处的建议重新安装交换机，但无济于事。

这些是我编译项目的步骤：

    $ oasis setup -setup-update dynamic
    $ make

但是，这会导致以下错误：

    collect2: error: ld returned 1 exit status
    File "caml_startup", line 1:
    Error: Error during linking
    Command exited with code 2.
    Compilation unsuccessful after building 57 targets (0 cached) in 00:00:16.
    E: Failure("Command ''/home/john/.opam/4.08.0/bin/ocamlbuild' src/utils/utils.cma src/utils/utils.cmxa src/utils/utils.a src/utils/utils.cmxs src/parsing/parsing.cma src/parsing/parsing.cmxa src/parsing/parsing.a src/parsing/parsing.cmxs src/definitions/definitions.cma src/definitions/definitions.cmxa src/definitions/definitions.a src/definitions/definitions.cmxs src/definitions/symbolic-controllability/symcontrollability.cma src/definitions/symbolic-controllability/symcontrollability.cmxa src/definitions/symbolic-controllability/symcontrollability.a src/definitions/symbolic-controllability/symcontrollability.cmxs src/main.native -use-menhir -yaccflag --infer -tag debug' terminated with error code 10")
    Makefile:7: recipe for target 'build' failed
    make: *** [build] Error 1

_oasis 文件 _log 文件

4

0 回答 0