Installation 2.6 sur-amont Compcert 64bit Mac

Question

j'ai eu l'erreur suivante lors de la compilation CompCert 2.6 sur macos 64bit

$./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 

J'ai installé à la fois et menhir à travers coq OPAM mais peut en quelque sorte ocamlfind ne trouvez pas "menhirlib".

Versions Coq 8.4.pl6; Ocaml 4.02.2; l'opam 1.2.2; Menhir 20160303

Answer 1

Le package OPAM menhir.20160303 n'installe pas le fichier META pour menhirLib. Vous devez déposer un rapport de bogue à https://github.com/ocaml/opam-repository/

Pour une solution de contournement, vous pouvez installer manuellement Menhir pour vous assurer que menhirLib est installé correctement. (Jamais essayé par moi-même si.)