From: Julien Signoles <julien.signoles@cea.fr>
To: "Pierre-Loïc Garoche" <Pierre-Loic.Garoche@onera.fr>
Cc: caml-list@yquem.inria.fr, thirioux@enseeiht.fr
Subject: Re: [Caml-list] Dynamic loading of native code : what about librairies and packs ?
Date: Wed, 01 Apr 2009 11:02:51 +0200 [thread overview]
Message-ID: <1238576571.7692.291.camel@localhost> (raw)
In-Reply-To: <49D243B0.6020103@onera.fr>
Hello,
> I am discovering this feature of loading dynamically native code. The
> Frama-C framework (www.frama-c.cea.fr) provides now a plugin
> architecture that allows you to develop your own plugin and loads it
> directly in the framework.
>
> I targeted to adapt a simple tool I developped as a Frama-C plugin and
> faced some difficulties. I did not found enough information about the
> compilation of cmxs files.
Alain's answers are very good. I confirm that packing and dynamic
loading are compatible features: all Frama-C plug-ins are packed and
some of them are dynamically loaded.
However, in the current distributed release of Frama-C, dynamic loading
of plug-ins is still experimental. This feature will be improved in the
next release and it should be easier for plug-in developers to compile
dynamic plug-ins.
Anyway, if you have any additional Frama-C-specific questions/feedbacks
about plug-in development, don't hesitate to sent a message on the
Frama-C public mailing list
(http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss).
Br,
Julien Signoles
--
Researcher-engineer
CEA LIST, Software Reliability Lab
91191 Gif-Sur-Yvette Cedex
tel:(+33)1.69.08.71.83 fax:(+33)1.69.08.83.95 Julien.Signoles@cea.fr
prev parent reply other threads:[~2009-04-01 9:03 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-31 16:24 Pierre-Loïc Garoche
2009-03-31 16:34 ` [Caml-list] " Alain Frisch
2009-03-31 16:38 ` Pierre-Loïc Garoche
2009-03-31 17:14 ` Alain Frisch
2009-09-01 8:56 ` Pierre-Loïc Garoche
2009-09-01 9:13 ` Christophe TROESTLER
2009-09-01 10:01 ` Alain Frisch
2009-04-01 9:02 ` Julien Signoles [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1238576571.7692.291.camel@localhost \
--to=julien.signoles@cea.fr \
--cc=Pierre-Loic.Garoche@onera.fr \
--cc=caml-list@yquem.inria.fr \
--cc=thirioux@enseeiht.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).