OPAMFETCH is from 1.2.1 ; which will also choose wget over curl on OSX to work around this specific issue. On 1.2.0, I'm afraid the only workaround is not to have curl in your PATH.
> - Richard Mortier, 18/04/2015 20:26 - > On 18 April 2015 at 16:35, Anil Madhavapeddy <[email protected]> wrote: > > This is a broken `curl` command on base OSX. Try switching to wget with: > > > > export OPAMFETCH=wget > > Doesn't seem to be honoured by `opam upgrade`. Have filed an issue. > >
_______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
