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.
|Product Version||Frama-C Carbon-20110201||Target Version||-||Fixed in Version||Frama-C Nitrogen-20111001|
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information