--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on October 2013 ---
Thanks, Nanci, I tried this which also worked:' ln -s /opt/local/include/gmp.h /usr/local/include/gmp.h ln -s /opt/local/lib/libgmp /usr/local/lib/libgmp ln -s /opt/local/lib/libgmp.10.dylib /usr/local/lib/libgmp.10.dylib So apparently opam will look in /usr/local. Then I was able to complete opam install frama-c and opam install why. However when I run "frama-c -jessie" I get "[kernel] user error: option `-jessie' is unknown." and jessie is not in my list of available plug-ins. why3config seems to be working normally. why2 is there: system$ why -version This is why version 2.32, compiled on Mon Apr 8 15:56:31 MDT 2013 Any ideas? On Oct 9, 2013, at 1:43 PM, Nanci Naomi <nnarai at gmail.com> wrote: > 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 > > _______________________________________________ > 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/e1bd4437/attachment-0001.html>