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 : problems with plugin-integration

  • Subject: [Frama-c-discuss] RE : RE : problems with plugin-integration
  • From: virgile.prevosto at (PREVOSTO Virgile)
  • Date: Thu, 16 Sep 2010 10:38:36 +0200
  • References: <>

[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]
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
> 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 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/, but I cannot guarantee that this is the only one, I'm far worse than the compiler at spotting typos.

Sincerely yours,

Virgile Prevosto
Laboratoire des logiciels s?rs