--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on December 2009 ---
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