2017-10-24 3 views
0
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). 

私は問題が何であるかを知らない.....

+3

'eval $(opam config env)'を実行しようとしましたか? – glennsl

答えて

0

あなたは、

eval `opam config env` 

または、代替構文でそれを有効にする必要があります@glennslは、

eval $(opam config env) 

を示唆したようocamlfindが見えてくるように、このコマンドは、PATH変数を設定します。

+0

それは私のために働いた。ありがとう!しかし、ターミナルからframa-cを実行するたびに、このコマンドをもう一度実行する必要があります。 – Haiyin

+0

あなたのプロフィールに追加するまで、opamをインストールしたときにこれをしたかもしれませんが、まだ再ログインしていません。そうでなければ、 'opam init --auto-setup'を実行すると、それが実行されます。 – ivg

関連する問題