--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on July 2009 ---
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