--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on November 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Nitrogen release on Mac



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>