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

[Frama-c-discuss] Compiling Frama-C and why



Hello,

I've upgraded my system and I'm reinstalling Frama-C. Configuring 
Frama-C gives

configure: WARNING: why not found
configure: WARNING: wp partially enabled because why missing.
configure: WARNING: why-dp not found
configure: WARNING: wp partially enabled because why-dp missing.

On the other hand, the configure script for why2 warns that Frama-C 
can't be found, hence Jessie can't be installed. So it seems there's a 
circular dependency between why and Frama-C. In what order should I 
compile the sources?

Begards,
Boris