Frama-C Bug Tracking System - Frama-C
View Issue Details
0001770Frama-CKernel > configurepublic2014-05-01 21:122015-03-17 22:17
rbonichon 
virgile 
normalminoralways
closedfixed 
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 configure.in.patch (6,624) 2014-05-01 21:12
https://bts.frama-c.com/file_download.php?file_id=748&type=bug
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: configure.in.patch
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

Notes
(0005097)
virgile   
2014-05-16 09:51   
Fix committed to feature/force-local-ocamlgraph branch.
(0005098)
virgile   
2014-05-16 09:53   
Fix committed to master branch.