[opam-devel] depexts homebrew taps

[Anil Madhavapeddy]

On 3 Oct 2015, at 11:53, Daniel Bünzli <daniel.buenzli at erratique.ch> wrote:
> 
> Le jeudi, 1 octobre 2015 à 17:59, Anil Madhavapeddy a écrit :
>> [ ["osx" "homebrew"] ["tap/package"] ]
>> 
>> In fact, would that just work as-is?
> For the record, yes it does. It seems that brew is even able to find were the tap lies and automatically add it. In my case it ended up being tap/formulae/package (armmbed/formulae/arm-none-eabi-gcc) but that may be due to the way the tap is structured.  

Great!  I wonder if there's a lesson there for OPAM.  I could imagine having an auto-fork shortcut so that you could do:

$ opam install janestreet/type_conv

to get their latest tap.  I guess our equivalent is an explicit URL, which is much more flexible, but sadly more verbose due to the need for a separate pin step rather than a single installation instruction.

-anil