--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on July 2012 ---
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