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



I ran into an error trying to install the latest release on OS X.
I get the same error building manually or using OPAM.
I'm not sure if it's something to do with my environment, so I thought I'd ask if anyone else has encountered this.
(BTW, everything worked out fine in Ubuntu: Frama-C+Why2+Why3+Jessie -- thanks everyone)

-Steve

compilation error:

share/Makefile.dynamic:196: share/Makefile.kernel: No such file or directory
Makefile:2328: .depend: No such file or directory
1 shift/reduce conflict.
67 shift/reduce conflicts.
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

'opam install frama-c' failed.