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