problem to make install the "hello_world"-plugin
ID0000582: This issue was created automatically from Mantis Issue 582. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000582 | Frama-C | Kernel > Makefile | public | 2010-09-13 | 2010-09-16 |
Reporter | fsd | Assigned To | signoles | Resolution | no change required |
Priority | normal | Severity | minor | Reproducibility | N/A |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
I've installed frama-c on ubuntu lucid lynx 10.04 I wanted to make a simple plugin "hello_world" like in the description of the documentation "plugin-developer-Boron-20100401.pdf" with the two files Makefile and hello_world.ml After copying the sources of the documentation and saving both in the folder /home/jean-pierre/Bureau/ocamldoc/ i started the terminal, went to the folder and wrote "make". the terminal said:
jean-pierre@jean-pierre-laptop:~/Bureau/ocamldoc$ make /usr/share/frama-c/Makefile.dynamic:180: .depend: Aucun fichier ou dossier de ce type ocamlc.opt -c -I . -w Ael -warn-error A -annot -g -I /usr/lib/frama-c hello_world.ml File "hello_world.ml", line 12, characters 14-18: Warning Z: unused variable name. File "hello_world.ml", line 3, characters 3-119: Error: Signature mismatch: Modules do not match: sig val name : string val shortname : string val deser : string end is not included in sig val name : string val shortname : string val descr : string end The field `descr' is required but not provided make: *** [hello_world.cmo] Erreur 2
Additional Information :
i tried for windows XP with frama-c and cygwin but there are also problems. any ideas?