--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on October 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Mac install



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.