Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001770Frama-CKernel > configurepublic2014-05-01 21:122015-03-17 22:17
Assigned Tovirgile 
PlatformOSOS Version
Product VersionFrama-C Neon-20140301 
Target VersionFixed in VersionFrama-C Sodium 
Summary0001770: Cannot switch to local version if OCamlgraph is already installed
DescriptionI 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.
Steps To ReproduceInstall 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.
Additional InformationThe 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.
TagsNo tags attached.
Attached Filespatch file icon [^] (6,624 bytes) 2014-05-01 21:12 [Show Content]

- Relationships

-  Notes
virgile (developer)
2014-05-16 09:51

Fix committed to feature/force-local-ocamlgraph branch.
virgile (developer)
2014-05-16 09:53

Fix committed to master branch.

- Issue History
Date Modified Username Field Change
2014-05-01 21:12 rbonichon New Issue
2014-05-01 21:12 rbonichon Status new => assigned
2014-05-01 21:12 rbonichon Assigned To => virgile
2014-05-01 21:12 rbonichon File Added:
2014-05-16 09:51 virgile Note Added: 0005097
2014-05-16 09:51 virgile Resolution open => fixed
2014-05-16 09:53 virgile Note Added: 0005098
2014-05-16 09:57 signoles Status assigned => resolved
2015-03-17 22:17 signoles Fixed in Version => Frama-C Sodium
2015-03-17 22:17 signoles Status resolved => closed

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker