Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001763Frama-CKernel > configurepublic2014-04-28 21:402017-08-12 19:25
Assigned Tovirgile 
PlatformOSOS Version
Product VersionFrama-C Neon-20140301 
Target VersionFixed in Version 
Summary0001763: Configure step fails on bytecode architectures
DescriptionThe 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?
   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.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
mehdi (reporter)
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".
yakobowski (manager)
2017-08-12 19:25

Indeed, thanks.

- Issue History
Date Modified Username Field Change
2014-04-28 21:40 mehdi New Issue
2014-04-28 21:40 mehdi Status new => assigned
2014-04-28 21:40 mehdi Assigned To => virgile
2017-08-12 15:33 mehdi Note Added: 0006442
2017-08-12 19:25 yakobowski Note Added: 0006443
2017-08-12 19:25 yakobowski Status assigned => closed
2017-08-12 19:25 yakobowski Resolution open => fixed

Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker