--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on February 2010 ---
Hi, If you are familiar with VBox (or some other virtualisation software that runs on mac) you can run it off an ubuntu virtual machine. Damien Jo?o Roberto wrote: > I have a macbook pro with snow leopard install but i can't install > frama-c correctly. > > I tried what is describe in this page : > http://frama-c.cea.fr/OSX_beryllium.html . But after i do that, if i > try to run frama-c in the terminal it does not recognize it. Can > someone give me more descriptive steps(for example, the commands to > run in the right order). > > If someone knows how to put frama-c work using the compilation method > can also try to help me. > > Thanks in advance, > Jo?o Roberto. > ------------------------------------------------------------------------ > > _______________________________________________ > 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/20100218/f22d3dfb/attachment.htm