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

[Frama-c-discuss] Mac install



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>