0

在 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；奥帕姆 1.2.2；门希尔 20160303

4

1 回答 1

1

OPAM 包不menhir.20160303安装. 您应该在https://github.com/ocaml/opam-repository/提交错误报告METAmenhirLib

对于解决方法，您可以手动安装 Menhir 以确保menhirLib正确安装。（虽然从来没有自己尝试过。）

于 2016-05-05T02:05:48.173 回答