--- layout: fc_discuss_archives title: Message 77 from Frama-C-discuss on September 2013 ---
Hello Pascal, 2013/9/11 Pascal Cuoq <pascal.cuoq at gmail.com>: > On Wed, Sep 11, 2013 at 5:19 PM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote: >> >> Note that I am reading the details from: >> http://frama-c.com/install-fluorine-20130601.html , an overlooked source of >> information about Fluorine's dependencies. >> > > Mea culpa, the Ubuntu section of that document does not seem to have been > updated when the support for OCaml 3.11.2 was dropped. It is not a perfect > source of information after all (but the Requirements section seems > up-to-date). And this INSTALL recommends installing Debian or Ubuntu official packages that are pretty old! :-) BTW, this section should be probably edited to recommend manual installation (or opam one) until more recent packages are available. I have added the (I think correct) versions in the wiki, feel free to correct my errors: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:compiling_from_source#recommended_versions_to_use Best regards, david