Question

在64位macos上编译compcert 2.6时出现以下错误

$./configure ia32-macosx
...
$make
...
/Applications/Xcode.app/Contents/Developer/usr/bin/make -f Makefile.extr ccomp
ocamlfind: Package `menhirLib' not found
OCAMLOPT driver/Version.ml
ocamlopt.opt: unknown option '-3'.
Usage: ocamlopt <options> <files>
Options are:
  ...
make[2]: *** [driver/Version.cmx] Error 2
make[1]: *** [ccomp] Error 2
make: *** [all] Error 2

我通过opam安装了coq和menhir，但不知怎的，ocamlfind找不到“menhirlib”。

版本Coq 8.4.pl6; Ocaml 4.02.2; opam 1.2.2; Menhir 20160303

Answer 1

OPAM包menhir.20160303未安装META的{{1}}个文件。您应该在https://github.com/ocaml/opam-repository/

提交错误报告

要获得解决方法，您可以手动安装Menhir以确保正确安装menhirLib。（虽然我从未尝试过。）

在64位Mac上安装Compcert-2.6

1 个答案: