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