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
Reporterrbonichon 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
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 configure.in.patch [^] (6,624 bytes) 2014-05-01 21:12 [Show Content]

- Relationships

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

Fix committed to feature/force-local-ocamlgraph branch.
(0005098)
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: configure.in.patch
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 - 2018 MantisBT Team
Powered by Mantis Bugtracker