--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on February 2011 ---
As directed in INSTALL_WITH_WHY, I first compiled and installed frama-c-Carbon-20110201. However, why didn't compile: File "common.ml", line 242, characters 27-31: Error: This expression has type loc:Cil_types.location -> Cil_types.exp but an expression was expected of type Cil_types.exp make[1]: *** [common.cmo] Error 2 make[1]: Leaving directory `/home/boris/Downloads/why-2.28/frama-c-plugin' make: *** [jessie_plugin.opt] Error 2 This is the output of ./configure: Summary ----------------------------------------- OCaml version : 3.11.2 OCaml library path : /usr/lib/ocaml OcamlGraph lib : in Ocaml lib, subdir ocamlgraph Verbose make : no Inference of annotations : no Frama-C plugin : yes Frama-C version : Carbon-20110201 GWhy : yes Coq support : no PVS support : no Mizar support : no Other provers support : at run-time (use why-config to configure) -- Regards, Boris