Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000460Frama-CKernel > Makefilepublic2010-04-27 13:252014-02-12 16:55
Reportermehdi 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Boron-20100401 
Target VersionFixed in VersionFrama-C Carbon-20101201-beta1 
Summary0000460: .make-ocamlgraph is not needed when using non-local ocamlgraph
Description
When using a non-local ocamlgraph (and when I don't have the tarball of ocamlgraph), ".make-ocamlgraph" fails (which is expected), but note that there is no need to unpack ocamlgraph.tar.gz if I'm not going to use it.

Please find attached a patch to fix this issue.

Regards,
--
Mehdi
TagsNo tags attached.
Attached Filespatch file icon 0002-.make-ocamlgraph-no-op-for-non-local-ocamlgraph.patch [^] (850 bytes) 2010-04-27 13:25 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2010-04-27 13:25 mehdi New Issue
2010-04-27 13:25 mehdi Status new => assigned
2010-04-27 13:25 mehdi Assigned To => signoles
2010-04-27 13:25 mehdi File Added: 0002-.make-ocamlgraph-no-op-for-non-local-ocamlgraph.patch
2010-04-27 16:16 svn Checkin
2010-04-27 16:16 signoles Status assigned => resolved
2010-04-27 16:16 signoles Fixed in Version => Frama-C Carbon
2010-04-27 16:16 signoles Resolution open => fixed
2010-12-17 19:36 signoles Status resolved => closed


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker