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 Jessie plug-in

On Apr 8, 2013, at 4:06 PM, Pascal Cuoq <pascal.cuoq at> wrote:

> On Mon, Apr 8, 2013 at 11:50 PM, Stephen Siegel <siegel at> wrote:
> I can compile ocamlgraph from source using the compilers from Frama-C, but where should I put the resulting files so that the Jessie build scripts will find them?  Do I just need to move graph.cma and graph.cmxa somewhere?
> Just type "sudo make install" after ocamlgraph has been made, and the files will be installed in a subdirectory of the .../lib/ocaml directory of the OCaml compiler that was used to compile.
> In this case, that should be /usr/local/Frama-C/ocaml-4.00.1p/lib/ocaml/ocamlgraph
> What you may find distasteful about this simple method is that it will also install executable files in /usr/local/bin, this sort of thing. If you want to install by hand, you need to copy more than graph.cma and graph.cmxa. These two files are only the two that are somehow missing from an existing directory of libraries that Frama-C contains, but the recommended methods of "sudo make install" installs a lot more files. So I do not have any better solution to offer. Configure ocamlgraph with "./configure --prefix=/usr/local/Frama-C" if that makes you feel less dirty.

Thanks---I just copied the graph.cma and graph.cmxa files and that worked fine.

Just out of curiosity, why can't I use a different instance of the ocaml compiler to compile the plugins? Both compilers are version 4.00.1, so shouldn't they produce the same output?  Or is there something different about the ocaml compiler bundled with the Frama-C OS X distribution?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>