Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Mac install

Thanks, Jens, that did help with the compilation and seems like a better solution than creating symlinks.

Also, the problem I was having with GTK was because I needed to install X11.  It turns X11 is not included with Mountain Lion.  You have to download XQuartz, install, and re-start.  Then everything worked like a charm!

http://support.apple.com/kb/HT5293

-Steve




On Oct 13, 2013, at 3:46 AM, "Gerlach, Jens" <jens.gerlach at fokus.fraunhofer.de> wrote:

> I also had the problem that zarith-1.2 could not find gmp although the latter had been installed with macports.
> In my case it helped to add the following two line to my .profile
> 
> export CPPFLAGS=-I/opt/local/include
> export LDFLAGS=-L/opt/local/lib
> 
> Regards
> 
> Jens
> 
> 
> 
> 
> _______________________________________________
> 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