View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000460 | Frama-C | Kernel > Makefile | public | 2010-04-27 13:25 | 2014-02-12 16:55 | ||||
Reporter | mehdi | ||||||||
Assigned To | signoles | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C Boron-20100401 | ||||||||
Target Version | Fixed in Version | Frama-C Carbon-20101201-beta1 | |||||||
Summary | 0000460: .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 | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|||
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 | ||
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 |
2013-12-19 01:13 | signoles | Source_changeset_attached | => framac master e04a5435 |
2014-02-12 16:55 | signoles | Source_changeset_attached | => framac stable/neon e04a5435 |