--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on August 2013 ---
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.