--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New Why 2.22 binaries for Mac OS Snow Leopard



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