--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on October 2013 ---
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>