Frama-C Bug Tracking System - Frama-C
View Issue Details
0001770Frama-CKernel > configurepublic2014-05-01 21:122015-03-17 22:17
Frama-C Neon-20140301 
Frama-C Sodium 
0001770: Cannot switch to local version if OCamlgraph is already installed
I have OCamlgraph 1.8.5 on my machine, which is apparently incompatible with Frama-C Neon. However, I cannot force a switch to the local version with ./configure --enable-local-ocamlgraph I am not sure if this option was intended to force the use of the local version.
Install external ocamlgraph library (1.8.5. for example, through opam) Run ./configure --enable-local-ocamlgraph VERBOSEMAKE=yes make should show that the external ocamlgraph library is in the include path whereas the local one is not.
The attached patch forces the use of the local ocamlgraph library when --enable-local-ocamlgraph has been given. Basically, it encapsulates the search for an external library into a conditional which test the presence of then --enable-local switch.
No tags attached.
patch (6,624) 2014-05-01 21:12
Issue History
2014-05-01 21:12rbonichonNew Issue
2014-05-01 21:12rbonichonStatusnew => assigned
2014-05-01 21:12rbonichonAssigned To => virgile
2014-05-01 21:12rbonichonFile Added:
2014-05-16 09:51virgileNote Added: 0005097
2014-05-16 09:51virgileResolutionopen => fixed
2014-05-16 09:53virgileNote Added: 0005098
2014-05-16 09:57signolesStatusassigned => resolved
2015-03-17 22:17signolesFixed in Version => Frama-C Sodium
2015-03-17 22:17signolesStatusresolved => closed

2014-05-16 09:51   
Fix committed to feature/force-local-ocamlgraph branch.
2014-05-16 09:53   
Fix committed to master branch.