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] RE : plugin incompatible with Fluorine

Hello Julien,

Thank you for your answer!

As there were no bin/ script with the oxygen release I
thought that it was fully compatible (wrong... ), I ve run directly the Where could I fid the nitrogen2oxygen script?

But what I find more weird is that my plugin compile correctly with the
"make && make install" with no errors. but it is still no installed.. I
should have some errors during the compilation, isn't it?


2013/8/23 SIGNOLES Julien <julien.signoles at>

>  Hello,
> Indeed we usually break some APIs at each major release, because it is
> hard to make Frama-C evolve without changing them. But we also provide
> scripts to convert plug-ins to the new version. Here you directly upgrade
> from nitrogen to fluorine by skipping oxygen. So you have to apply first
> the script bin/, and next the script
> bin/ provided in the corresponding source tarballs (don't
> know whether packagers install these scripts or not). But the chemical
> process to convert nitrogen to fluorine is a bit complex ;-) and it may
> remain some unconverted part in your code depending on what it uses. In
> such a case, you can post on this list what remains to change and we will
> help you.
> Hope this helps,
> Julien Signoles
>  ------------------------------
> *De :* frama-c-discuss-bounces at [
> frama-c-discuss-bounces at] de la part de Maria
> Christofi [maria.christofis at]
> *Date d'envoi :* jeudi 22 ao?t 2013 19:22
> *? :* Frama-C public discussion
> *Objet :* [Frama-c-discuss] plugin incompatible with Fluorine
>   Hello again (it s still me....)!
>  After succesfully installing Frama-C Fluorine, I wanted to regain my old
> habits and tried to reinstall a plugin that I had developped and worked
> with Frama-C Nitrogen.
> But I didn't manage it with an error of incompatibility with Fluorine.
> Before spend any time on it, did anyone have the same kind of error and
> has an idea of where should I look for a solution?
> (apologies for not giving more precisions...)
>  Thanks in advance!
>  --
> Maria Christofi
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at

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