--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on November 2011 ---
Hi, I made the package for homebrew that Pascal referred. If you want to use it to compile frama-c with GUI, you need to download the homebrew, running the script on terminal, /usr/bin/ruby -e "$(curl -fsSL https://raw.github.com/gist/323731)" then you must copy my script files, to be able to download and compile frama-c since they aren't yet published: cd /usr/local/Library/Formula/ sudo curl https://raw.github.com/ismaelvb/homebrew/890c894f26e826b71bc33c73bb1f5a4f393a0740/Library/Formula/gtk-gnutella.rb-o gtk-gnutella.rb sudo curl https://raw.github.com/ismaelvb/homebrew/master/Library/Formula/frama-c.rb-o frama-c.rb sudo curl https://raw.github.com/ismaelvb/homebrew/f0b08276fa4421adaee1b40c01065282306cb65a/Library/Formula/libgnomecanvas.rb-o libgnomecanvas.rb Then, and if everything is ok, you could only type: brew install frama-c And it should compile everything you need in the folder * /usr/local/Cellar/frama-c*. I also recommend to use sudo brew link frama-c to have it available in the PATH, ie. in the terminal without the full path. PS: It should compile ok in SL and Lion, the ones i tested. Ismael Vilas Boas -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111126/0efdece6/attachment.htm>