--- layout: fc_discuss_archives title: Message 26 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 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