--- layout: fc_discuss_archives title: Message 21 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



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