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



Virgile Prevosto wrote: 
> 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.

Thanks, it helped ! Here was the problem (in Why's Makefile):
-JCLIB=jc/jc.cmo jc/jc.cmx
+JCLIB=jc/jc.cmo jc/jc.cmx jc/jc.cmi jc/jc.o
-JCLIB=jc/jc.cmo
+JCLIB=jc/jc.cmo jc/jc.cmi