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] How to compil Frama-C with an existing Why installation

  • Subject: [Frama-c-discuss] How to compil Frama-C with an existing Why installation
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
  • Date: Wed, 15 Jul 2009 10:37:22 +0200
  • In-reply-to: <1247540520.3378.237.camel@residence.localdomain>
  • References: <1247540520.3378.237.camel@residence.localdomain>
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