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



Goodmorning,

Thanks for the help,
It is resolved now. It was an incompatibility between some modules. Not
sure that it was bacause of the frama-c release.

Thanks again!
Have a nice week!
Maria


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

>  Hello,
>
> Don't know what exactly happens here. When Frama-C cannot load a found
> plug-in, it displays a warning like this:
> $ frama-c
> [kernel] warning: cannot load 1 plug-in (incompatible with
> Fluorine-20130501+dev).
>                   E_ACSL
>
> If you don't have such a warning, either the plug-in is not found (so it
> is not installed in the proper directory), or it is found but it does
> nothing. You can check that by running `frama-c -plugin-name-help` like
> this (here you get a user error because the plug-in is not found):
> $ frama-c -e-acsl-help
> [kernel] warning: cannot load 1 plug-ins (incompatible with
> Fluorine-20130501+dev).
>                   E_ACSL
> [kernel] user error: option `-e-acsl-h' is unknown.
>                      use `frama-c -help' for more information.
> [kernel] Frama-C aborted: invalid user input.
>
> Hope this helps,
> Julien
>
>  ------------------------------
> *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 :* vendredi 23 ao?t 2013 12:27
> *? :* Frama-C public discussion
> *Objet :* Re: [Frama-c-discuss] RE : RE : plugin incompatible with
> Fluorine
>
>   Hello,
> Thanks for the script.
>
>  That's what I did (with make clean etc). I checked in the
> frama-c/plugins and the .cmo and .cmxs of the plugin are there, but I still
> cannot use it...
>
>  Maria
>
> 2013/8/23 SIGNOLES Julien <julien.signoles at cea.fr>
>
>>  Hello,
>>
>> Oh yes, nitrogen2oxygen seems to be missing in the Oxygen release.
>> Actually it fixes only few issues, so it is probably useless in your code.
>> I attach it to this mail anyway. You can check if you have to apply it by
>> reading it: the script's core is a sed command replacing OCaml terms by
>> some others. If you don't use any of these terms, the script is useless in
>> your case.
>>
>> When changing of Frama-C version (or OCaml version), you have to run
>> "make clean" before: "make clean && make && make install". If all is ok,
>> your plug-in is installed by default in `frama-c -print-plugin-path`
>> (.cm[io] and .cmxs files in the standard case). You can also check that
>> you're using the right frama-c version by running "frama-c -version".
>>
>> Hope this helps,
>> Julien
>>
>>  ------------------------------
>>  *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 :* vendredi 23 ao?t 2013 10:50
>> *? :* Frama-C public discussion
>> *Objet :* Re: [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
>>
>> _______________________________________________
>> 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
>
> _______________________________________________
> 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/20130826/96a9aece/attachment-0001.html>