--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on September 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] RE : RE : problems with plugin-integration



[Please, reply directly to the list, you're more likely 
 to have a prompt answer there]


-------- Message d'origine--------
De: Jean-Pierre Nicolas [mailto:jean.nicolas at gmx.de]
Date: jeu. 16/09/2010 10:01
?: PREVOSTO Virgile
Objet : Re: [Frama-c-discuss] RE?:  problems with plugin-integration

> Thank you for your quick response. I got this OCaml-source code and Makefile from the documentation "plugin-developer-Boron-20100401.pdf" at the homepage www.frama-c.com
> With a simple plugin explication. I thought the code would be correct. I was wrong...

May I suggest that you use the code from src/dummy/hello_world (provided in the source distribution, also available on frama-c.com) as suggested by the manual? The code in the pdf is correct, but copy n'paste from it is likely to be painful and error-prone, as the layout will get in the way.

>    (Type.fune Type.unit Type.unit)

> I changed the 2 "deser" in "descr" and also the "option name" in "option_name". but there is another error in the code I think.
> And I don't know where.

Well, at least the ocaml compiler should know, and showing the error message would be a good idea. There is at least one issue in the line above, where Type.fune should be Type.func (again, the manual is right, and so is src/dummy/hello_world/hello_world.ml), but I cannot guarantee that this is the only one, I'm far worse than the compiler at spotting typos.

Sincerely yours,

-- 
Virgile Prevosto
Ing?nieur-Chercheur
CEA, LIST,
Laboratoire des logiciels s?rs