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] Cannot load plugin into Frama-c-Lithium

  • Subject: [Frama-c-discuss] Cannot load plugin into Frama-c-Lithium
  • From: abiao.yang at gmail.com (David Yang)
  • Date: Thu, 5 Dec 2013 23:41:15 +0000
  • In-reply-to: <CANk9FzUsg13nF=XHFnotEJdAzd+mvXQ2E4LSnVxpnPzxrrs-rQ@mail.gmail.com>
  • References: <CANk9FzUsg13nF=XHFnotEJdAzd+mvXQ2E4LSnVxpnPzxrrs-rQ@mail.gmail.com>
Hi,


If the dynamic module is not very difficult, I suggest you rewrite it
for the latest frama-c version.

Actually, this would be simple, just change the old api function to
the newest one.

HTH.

Thanks.
-david

On 5 December 2013 22:11, Qi Alfred Chen <alfchen at umich.edu> wrote:
> Hi all,
>     I am currently working on a frama-c plugin project which used in
> Frama-c-Lithium. After make, I moved the .cmo file of the plugin to the
> Frama-c -print-path /plugin/.  However it seems not been loaded to the
> Frama-c-Lithium.
>    When I followed the Plugin Manual of Lithium to load a dynamic module, it
> seems not work either.
>    How can I do to load the plugin into the Frama-c-Lithium?
>    Thanks!
>
> --
> Kind regards,
> Qi Alfred Chen
> PhD Student,
> Department of Electrical Engineering and Computer Science,
> University of Michigan - Ann Arbor, 48105
> Tel: 1-734-834-2916
> Alt. Email: adios737 at gmail.com
> Homepage: www.eecs.umich.edu/~alfchen
>
> _______________________________________________
> 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