Compilation error if options --with-jessie-static --with-ltl_to_acsl-static are present.
ID0000111: This issue was created automatically from Mantis Issue 111. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000111 | Frama-C | Kernel | public | 2009-06-02 | 2009-06-23 |
| Reporter | nstouls | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | block | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Beryllium-20090601-beta1 |
Description :
With ocamlc 3.10.2 If the configure script is launched with following options :
--with-jessie-static --with-ltl_to_acsl-staticthen this error occurs during compilation:
Ocamlc src/lib/dynlink_common_interface.cmo The implementation src/lib/dynlink_common_interface.ml does not match the interface src/lib/dynlink_common_interface.cmi: The field `is_native' is required but not provided make: *** [src/lib/dynlink_common_interface.cmo] Erreur 2
Removing configure options resolves the problem.