[opam-devel] depexts homebrew taps

[Louis Gesbert]

Well, `opam pin add --dev type_conv` is a bit more verbose, but it will prompt for install or upgrade with a single command. It could be possible to install the dev version as a one-shot, without pinning, but I don't think that would be a good idea, since opam will likely want to downgrade it on any later upgrade or if needing recompilation...

> - Anil Madhavapeddy, 04/10/2015 17:40 -
> 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
> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel
>