--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on July 2012 ---
Hello Claude, thanks for the clarification! Jens > > The right order should be > > 1) compile and install why3, configure it (why-config) and hopefully check the installation on examples/hello_proof.why > > 2) compile and install Frama-C. If WP is included and complains about why missing, it is probably not a problem (see Virgile answer) > > 3) compile Why2.30 that include the Jessie plugin, that requires both Why3 and Frama-C installed > > Hopefully the future version of WP plugin will use only Why3 anyway, so that should work without problem. > > If I am wrong, then a bug should be reported. > > - Claude > > -- > Claude March? | tel: +33 1 72 92 59 69 > INRIA Saclay - ?le-de-France | > Universit? Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ > F-91405 ORSAY Cedex | > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss