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

[Frama-c-discuss] Mac install



Le 09/10/2013 19:43, Nanci Naomi a ?crit :
> 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.

Actually, OPAM is not responsible for the compilation process of 
packages. It delegates this task to build scripts provided by each 
package (./configure, make, ...). So, one have to provide the right 
arguments to these scripts to make it work.

This is rather a bug in zarith's OPAM package.

- Mohamed.

Mohamed Iguernelala.
Senior R&D Engineer, OCamlPro
Research Associate, VALS team, LRI.
http://www.iguer.info


Le 09/10/2013 19:43, Nanci Naomi a ?crit :
> 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 
> <mailto: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
>     <mailto:Frama-c-discuss at lists.gforge.inria.fr>
>     http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
>
>
>
> _______________________________________________
> 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/20131010/4004d449/attachment.html>