--- layout: fc_discuss_archives title: Message 54 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Frama-C on OS X



Hello,

2013/8/23 Stephen Siegel <siegel at udel.edu>:
> File "src/misc/service_graph.ml", line 248, characters 43-44:
> Error: Signature mismatch:
>        ...
>        The field `in_degree' is required but not provided
> make: *** [src/misc/service_graph.cmo] Error 2

It looks like a conflict with ocamlgraph. Could you send your config.log file?


-- 
E tutto per oggi, a la prossima volta
Virgile