Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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