--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on September 2013 ---
Hi Virgile, I actually gave it a shot soon after writing my previous message, and it did install fine. Thank you for your work, I really appreciate it. J.A. On 2 September 2013 07:50, Virgile Prevosto <virgile.prevosto at m4x.org>wrote: > Hello Jorge, > > 2013/8/30 Jorge Adriano Branco Aires <jorge.adriano at gmail.com>: > > Since I didn't see anyone mention it, I thought I'd add that Opam, the > OCaml > > Package Manager is quite handy. > > > > If I recall correctly I had some trouble using it to install Frama-C > itself, > > and found it easier to just compile it by hand. But for many of its > > dependencies and optional add-ons (alt-ergo, why3, coq, lablgtk, etc), it > > worked like a charm. > > I've recently (i.e. last week) pushed a newer version of > Fluorine-20130601 on opam, which fixes some dependencies issues, in > particular with respect to the GUI. If you (or anyone else) would like > to have a try, I'd be happy to have some feedback. > > Best regards, > -- > E tutto per oggi, a la prossima volta > Virgile > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130902/75e06f9b/attachment.html>