Re: version pinning in OPAM

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 11 Jul 2012, at 11:11, Thomas Gazagnaire wrote:

> 
>>> Is this convenient ? Would it be better to have "opam pin mirage 
>>> /local/path" instead (ie. no package version) and a more specific 
>>> update/upgrade command (like "opam pin -reinstall") to just upgrade the 
>>> pinned packages without having to do a full upgrade ?
>> 
>> The only problem I see with 'update && upgrade' is that you are forced to 
>> upgrade all packages, including any other ones that came from upstream.  Not 
>> sure if that will be a problem in practise or not.
> 
> Yes that's exactly the problem with update/upgrade. Any better idea ? 'opam 
> pin -update' to update/rebuild only the pinned packages in one step ?

This seems to be independent of the pinning support.  Why not allow 'opam 
update && opam upgrade lwt' to only update that package (and its dependents 
that must be recompiled due to the new interface)?

-anil