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.
当我尝试在mac上启动Frama-C并运行./configure命令时。它说它找不到ocamlfind。但我已经安装了它。
xhy0908deMacBook-Pro:frama-c-Phosphorus-20170501 xhy0908$ opam install ocamlfind
[NOTE] Package ocamlfind is already installed (current version is 1.7.3).
我不知道问题是什么.....
答案 0 :(得分：0)
如果您正在使用OPAM，则需要使用
激活它eval `opam config env`
或者，另一种语法，如@glennsl建议的那样，
eval $(opam config env)
此命令将设置PATH变量，以便ocamlfind变为可见。