--- layout: fc_discuss_archives title: Message 24 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 again,

I forgot to tell you, there is something that was missed in my installation.
I had to copy  "../lib/images" dir from Why sources into ../Frama-C_Be/lib/why to run Gwhy.
And then it works perfectly :-)

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