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を見つけることができないと言いました。しかし、私はすでにそれをインストールしています。あなたがOPAMを使用している場合Frama-cインストール - 構成:エラー:ocamlfindが見つかりません
xhy0908deMacBook-Pro:frama-c-Phosphorus-20170501 xhy0908$ opam install ocamlfind
[NOTE] Package ocamlfind is already installed (current version is 1.7.3).
私は問題が何であるかを知らない.....
'eval $(opam config env)'を実行しようとしましたか? – glennsl