Frama-C Bug Tracking System - Frama-C
View Issue Details
0001763Frama-CKernel > configurepublic2014-04-28 21:402017-08-12 19:25
Frama-C Neon-20140301 
0001763: Configure step fails on bytecode architectures
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: 1. download the latest version from 2. install it by './configure && make && make install' 3. 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.
No tags attached.
Issue History
2014-04-28 21:40mehdiNew Issue
2014-04-28 21:40mehdiStatusnew => assigned
2014-04-28 21:40mehdiAssigned To => virgile
2017-08-12 15:33mehdiNote Added: 0006442
2017-08-12 19:25yakobowskiNote Added: 0006443
2017-08-12 19:25yakobowskiStatusassigned => closed
2017-08-12 19:25yakobowskiResolutionopen => fixed

2017-08-12 15:33   
Now that Frama-C relies on ocamlfind to test presence of external libraries, this bug can be considered as "fixed".
2017-08-12 19:25   
Indeed, thanks.