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

[Frama-c-discuss] Mac install



Hello,

I had the same problem.

my simple solution was to copy the archives:
cp /opt/local/include/gmp.h /usr/include
cp /opt/local/lib/libgmp* /usr/lib

I do not know if there is other solution, for example, to do the opam look
for the libraries in the /opt/local/include directory.

In advance I will tell you that probably you will find the same problem
with other libraries and my solution was to copy the archives too.


Nanci Naomi

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Treat the Earth well.  It was not given to you by your parents,
it was loaned to you by your children. (Kenyan proverb)
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~



On Wed, Oct 9, 2013 at 1:26 PM, Stephen Siegel <siegel at udel.edu> wrote:

> 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.
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131009/85422f4a/attachment.html>