--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on September 2010 ---
[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