title: Frama-c installation- configure: error: Cannot find ocamlfind
body: <pre><code>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.
  </code></pre>
  
  <p>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.</p>
  
  <pre><code>xhy0908deMacBook-Pro:frama-c-Phosphorus-20170501 xhy0908$ opam install ocamlfind
  [NOTE] Package ocamlfind is already installed (current version is 1.7.3).
  </code></pre>
  
  <p>I don't know what the problem is.....</p>