--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on August 2013 ---
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>