--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on July 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to compil Frama-C with an existing Why installation



Hello,

Le mar. 14 juil. 2009 05:02:00 CEST,
Jonathan-Christofer Demay <jcdemay at rennes.supelec.fr> a ?crit :

> Is there anyone who have already done so ? Because I have been
> unsuccessful so far. Personally I don't need Why outside of Frama-C's
> dependency so it doesn't blocking me or anything, but as a packager, I
> would like to have both Frama-C and Why as separated packages.
> 

You can have a look to the godi (http://godi.camlcity.org/) packages
apps-frama-c and apps-why (plus godi-ocamlgraph). Indeed, the
compilation against an external why is a bit tricky, and needs a patch
of why installation (that I still need to report upstream in fact), as
well as some patches on the frama-c side.

Best regards,
-- 
E tutto per oggi, a la prossima volta.
Virgile