--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on August 2017 ---
Hello, Le 22/08/2017 10:53, Junkil âDavidâ Park a écrit : > checking for frama-c... /Users/david/.opam/4.03.0/bin/frama-c > checking Frama-c version... > configure: WARNING: bad Frama-c version "", you need version Silicon <skip> > Frama-C plugin : no So no Jessie. @Claude: it looks like the detection of Frama-C by Why3 configure does not work anymore. @Junkil: as a workaround (and assuming you have already installed Frama-C Silicon), you can manually modify the Why3's file 'configure.in' to succeed Frama-C detection anytime. Then run 'autoconf' before running './configure'. Hope it helps, Julien