--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on March 2010 ---
thanks, wish i had the dvd. the box was handed down to me without and dvd media... On Wed, Mar 31, 2010 at 10:21 AM, Jens Gerlach < jens.gerlach at first.fraunhofer.de> wrote: > > Am 31.03.2010 um 18:31 schrieb aintest3f aintest3l: > > > yeah, I was really looking forward to these great and wonderful features > I've read about too and what you mention below, but it's no good if it's so > difficult to get it up and running. I might have missed it but I don't > recall seeing and reporting feature from frama-c. Having great complex > sophisticated analysis is absolutely fantastic but without properly > representing the analyzed data to the users... > > > > Please don't take me wrong, Frama-C is probably great, i'm just providing > my feedback and my experience as a first time user... > > > > Anyways, I was trying to recall why i didn't just go with the OSX binary > in the first place, thanks for reminding me, that's because gcc is required > and I can't get gcc binary for OSX. > > > > I must say that for someone who does not know how to install gcc on OSX > (see the xcode package > on your install Mac OS X DVD!) you come across rather demanding! > > The Frama-C OSX binary package works in my experience quite well (I am > using it for the Jessie plugin). > > 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 > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100331/7add4b98/attachment-0001.htm>