CODEWITHSUNDEEP
macosocamlframa-cocamlfind
Haiyin
Haiyin

Reputation: 1

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.

When I try to start Frama-C on mac and run ./configure command. It said that it cannot find ocamlfind. But I have already installed it.

xhy0908deMacBook-Pro:frama-c-Phosphorus-20170501 xhy0908$ opam install ocamlfind
[NOTE] Package ocamlfind is already installed (current version is 1.7.3).

I don't know what the problem is.....

Upvotes: 0

Views: 462

Answers (1)

ivg
ivg

Reputation: 35280

If you're using OPAM you need to activate it with

eval `opam config env`

or, an alternative syntax, as @glennsl suggested,

eval $(opam config env)

This command will set up the PATH variable, so that ocamlfind become visible.

Upvotes: 0

Related Questions