--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on October 2013 ---
I'm trying to install Frama-C+Jessie+Why on OS X. I'm using opam, following Claude's note: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2013-April/003561.html I hit a problem installing Why, which failed when installing zarith. The problem is opam cannot find gmp.h. I have it in /opt/local/include/gmp.h, where MacPorts put it. Is there a way to tell opam to look there? Or should I install gmp a different way? Just wondering how other Mac users dealt with this. Thanks, Steve ==== ERROR [while installing zarith.1.2] ==== # opam-version 1.0.0 # os darwin # command ./configure # path /Users/siegel/.opam/4.00.1/build/zarith.1.2 # exit-code 2 # env-file /Users/siegel/.opam/4.00.1/build/zarith.1.2/zarith-e7966f.env # stdout-file /Users/siegel/.opam/4.00.1/build/zarith.1.2/zarith-e7966f.out # stderr-file /Users/siegel/.opam/4.00.1/build/zarith.1.2/zarith-e7966f.err ### stdout ### ...[truncated] checking compilation with gcc -O3 -Wall -Wextra : working include caml/mlvalues.h: found library dynlink.cmxa: found binary ocamlfind: found in /Users/siegel/.opam/4.00.1/bin OCaml's word size is 64 binary uname: found in /usr/bin checking compilation with gcc -arch x86_64 -O3 -Wall -Wextra : working include gmp.h: not found include mpir.h: not found cannot find GMP nor MPIR 'opam install why' failed.