--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on August 2013 ---
[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/nitrogen2oxygen.sh script with the oxygen release I
thought that it was fully compatible (wrong... ), I ve run directly the
oxygen2fluorine.sh.. 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?

Maria


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

>  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/nitrogen2oxygen.sh, and next the script
> bin/oxygen2fluorine.sh 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 lists.gforge.inria.fr [
> frama-c-discuss-bounces at lists.gforge.inria.fr] de la part de Maria
> Christofi [maria.christofis at gmail.com]
> *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 lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>



-- 
Maria Christofi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130823/70fc5d17/attachment.html>