--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on July 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] why-2.31 installation problem



On 07/19/2012 08:03 PM, Boris Hollas wrote:
> Hello,
>
> I just compiled and installed why3-0.73 and I've compiled why-2.31. 
> However, "make install" aborts with
>
> cp: cannot stat `lib/why3/coq.drv': No such file or directory
> make: *** [install-lib] Error 1
>
> I haven't installed Coq, but this shouldn't be required for why.

Indeed. This is from the new specific support for Coq I mentioned a few 
days ago, when I said that from now, why3 should be installed before why 
2.xx

I'll try to fix that asap, thanks for reporting

- Claude