--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on February 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] why-2.28/frama-c-plugin doesn't compile



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