--- layout: fc_discuss_archives title: Message 43 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,

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
-------------- section suivante --------------
Une pi?ce jointe HTML a ?t? nettoy?e...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130823/3a38bce8/attachment-0001.html>