Frama-c 설치 - 구성 : 오류 : 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를 찾을 수 없다고 말했다. 그러나 나는 이미 그것을 설치했다. 당신이 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).

나는 문제가 무엇인지 모르는 .....

출처

2017-10-24 Haiyin

'eval $ (opam config env)'를 실행 해 보셨습니까? – glennsl

당신은,

eval `opam config env`

또는 대안 구문을 활성화해야 @glennsl이 제안,

eval $(opam config env)

이 명령은 ocamlfind가 가시가 그래서, PATH 변수를 설정합니다.

출처

2017-10-25 18:31:42 ivg

그것은 나를 위해 일했습니다. 감사! 그러나 터미널에서 frama-c를 실행할 때마다이 명령을 다시 실행해야합니까? – Haiyin

네 프로필에 추가 할 때까지 opam을 설치했을 때이 작업을 수행했을 것입니다. 아직 relogin하지 않았습니다. 그렇지 않다면'opam init --auto-setup'을 실행하면됩니다. – ivg

Frama-c 설치 - 구성 : 오류 : ocamlfind를 찾을 수 없습니다.

답변

관련 문제