mismatch between configure check and INSTALL requirements for ocamlgraph version
ID0000757: This issue was created automatically from Mantis Issue 757. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000757 | Frama-C | Documentation | public | 2011-03-17 | 2016-06-21 |
| Reporter | signoles | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | tweak | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
configure checks an exact version number for ocamlgraph, while INSTALL says >=.
Additional Information :
Don't know what is the best thing to do:
- allowing >= is better, but requires that ocamlgraph is stable enough (forward compatibility). Not sure that it is the case yet :-(.
- allowing only = is simpler, but much less flexible for users.