Frama-c Installation- konfigurieren: Fehler: Kann nicht finden oamflind

Question

xhy0908deMacBook-Pro:frama-c-Phosphorus-20170501 xhy0908$ ./configure 
configure: ****************** 
configure: * CONFIGURE MAKE * 
configure: ****************** 
checking for make... make 
checking version of make... 3.81 
configure: ***************************** 
configure: * CONFIGURE OCAML COMPILERS * 
configure: ***************************** 
checking for ocamlc... ocamlc 
checking version of OCaml... 4.05.0 
checking OCaml library path... /usr/local/lib/ocaml 
checking for ocamlopt... ocamlopt 
checking ocamlopt version and standard library... ok 
checking for ocamlfind... no 
configure: error: Cannot find ocamlfind. 

Wenn ich versuche, Frama-C auf Mac und führen Sie ./configure Befehl. Es sagte, dass es ocamlfind nicht finden kann. Aber ich habe es schon installiert.

xhy0908deMacBook-Pro:frama-c-Phosphorus-20170501 xhy0908$ opam install ocamlfind 
[NOTE] Package ocamlfind is already installed (current version is 1.7.3). 

Ich weiß nicht, was das Problem ist .....

Answer 1

Wenn Sie OPAM verwenden müssen Sie es mit

eval `opam config env` 

oder einer alternativen Syntax aktivieren, wie @glennsl, schlug

eval $(opam config env) 

Dieser Befehl wird die PATH-Variable gesetzt, so dass ocamlfind sichtbar werden.