--- layout: fc_discuss_archives title: Message 61 from Frama-C-discuss on August 2013 ---
Hello, 2013/8/26 Stephen Siegel <siegel at udel.edu>: > Here it is. Yeah, I thought it was an ocaml-graph incompatibility. It found my > installed ocamlgraph but says it should be compatible... > configure:3200: OcamlGraph 1.8.2+svn > 1.8.2 found: should be compatible! Well, I don't know the development of OCamlGraph very precisely, but it is possible that configure is a bit optimistic about compatibility here. If you can switch to the latest released version of OCamlGraph (1.8.3) instead of a development one, things might be better. Best regards, -- E tutto per oggi, a la prossima volta Virgile