Configure step fails on bytecode architectures
ID0001763: This issue was created automatically from Mantis Issue 1763. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001763 | Frama-C | Kernel > configure | public | 2014-04-28 | 2017-08-12 |
| Reporter | mehdi | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | - |
Description :
The configure step fails on pure bytecode architectures with the following message:
checking for /usr/lib/ocaml/ocamlgraph/graph.cmo... yes configure: OcamlGraph 1.8.5 > 1.8.4 found: should be compatible, but no warranty. Use it at your own risk! configure: OcamlGraph 1.8.5 is incompatible with Frama-C. configure: switching to OcamlGraph provided by Frama-C checking for ocamlgraph... no checking for ocamlgraph.tar.gz... no configure: error: cannot find OcamlGraph in the current directory. Quite strange: would your Frama-C distribution be corrupted? Anyway:
- download the latest version from http://ocamlgraph.lri.fr/download
- install it by './configure && make && make install'
- rerun ./configure here make[1]: *** [override_dh_auto_configure] Error 1
It is due to the fact that the script tries to compile a test program linking against the OCamlgraph library in the native case and calls ocamlgraph_error in the bytecode case instead of trying to compile the test program.
In order to make Frama-C build on bytecode architecture, I've disabled that call to ocamlgraph_error.