Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Fluorine

>
> If you want to install Frama-C without root privilege and all its ocaml
> dependecies, you can use opam which is a source-based package manager for
> OCaml.
>
> http://opam.ocamlpro.com/**index.html<http://opam.ocamlpro.com/index.html>


The problem is that it's not the couple of OCaml libraries Frama-C
optionally depends on that are difficult to install, it's the Gtk+
libraries and the dependencies they recursively bring. The opam package
manager does not help for these Gtk+ libraries.

When I was making Mac OS X binary packages, all necessary files were under
/usr/local/Frama-C. I was helped by the source distribution I was relying
on, MacPorts, which ensured that all files would be installed below the
MacPorts root. This means that the MacPorts maintainer had patched the Gtk+
packages where necessary.

Pascal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130822/116afcde/attachment.html>