[英]Frama-c installation- configure: error: Cannot find ocamlfind
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).
我不知道問題是什么.....
如果您使用的是OPAM,則需要使用
eval `opam config env`
或@glennsl建議的另一種語法,
eval $(opam config env)
該命令將設置PATH變量,以便ocamlfind
可見。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.