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