--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on December 2009 ---
Hi Pascal, Many many thanks. It perfectly works :-) Best regards, B?rbara A 2009/12/02, ?s 14:24, CUOQ Pascal escreveu: > Hello, > > I have prepared unofficial Mac OS X Intel binaries > for Why 2.22 and the accompanying Jessie plug-in. > > The 8MiB archive can be downloaded from > > http://www.mediafire.com/?tgqwyfn33ij > > It patches the existing official Beryllium 2 > Frama-C Mac OS X Intel distribution and upgrades it > to Why 2.22. It should be installed as root in / > *after* Frama-C. > > cd / > sudo tar jxvf .../why-2.22_Mac_OS_X_Intel.tb2 > > Pascal