Signature mismatch errors while compiling simple "hello world" plug-in
ID0000777: This issue was created automatically from Mantis Issue 777. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000777 | Frama-C | Kernel > Makefile | public | 2011-04-07 | 2011-04-07 |
| Reporter | njucslzh | Assigned To | signoles | Resolution | no change required |
| Priority | normal | Severity | block | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | Frama-C Carbon-20110201 |
Description :
ocamlc -c -I . -w Z -warn-error A -annot -g -I "/usr/lib/frama-c" -I /usr/lib/frama-c hello_world.ml File "hello_world.ml", line 63, characters 5-132: Error: Signature mismatch: Modules do not match: sig val name : string val shortname : string val help : 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] ?? 2
Additional Information :
OS:Ubuntu 10.10 OCaml:3.11.2
I changed the file /usr/share/frama-c/Makefile.config :
compilers and others executables
OCAMLC ?=ocamlc OCAMLOPT ?=ocamlopt OCAMLDEP ?=ocamldep -slash OCAMLLEX ?=ocamllex OCAMLYACC ?=ocamlyacc OCAMLMKTOP ?=ocamlmktop OCAMLDOC ?=ocamldoc OCAMLCP ?=ocamlcp