在64位Mac上安装Compcert-2.6

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；门希尔20160303

Answer 1

OPAM package menhir.20160303不安装用于menhirLib的META文件。你应该在https://github.com/ocaml/opam-repository/上提交一份错误报告

作为一种解决方法，您可以手动安装门希尔，以确保正确安装了menhirLib。(不过我自己从来没有试过。)