Re: how to change OCAMLCURL from curl to wget?
| Newsgroups | gmane.comp.lang.ocaml.beginners |
|---|---|
| Message-ID | <CAE1DttB0r30ZV2mo9uQvXaj_xiRYkfg3Ub+GmJ7kj2Of4kzK2g@mail.gmail.com> |
Hi Venk! A good diagnostic is need prior to take any action to sovle the issue. Try to understand the error message that you get. Best regards PS: removing don't always mean to delete. A prudent way is to first rename or moving it to another directory so that you can put the thing back if needed. -- 2014-09-01 11:56 UTC+02:00, [email protected] [ocaml_beginners] <[email protected]>: > Hi, > > > Looks like curl is broken, or, has changed enough without telling > opam/ocaml that it gives this error despite trying to set OCAMLCURL to wget. > So, how to change it in a way that works? > > > --- begin paste --- > venk@debian:~$ (set -x && export OCAMLCURL='wget' && echo $OCAMLCURL && > opam update -v && opam upgrade -v) > + export OCAMLCURL=wget > + OCAMLCURL=wget > + echo wget > wget > + opam update -v > default Downloading https://opam.ocaml.org/urls.txt > % Total % Received % Xferd Average Speed Time Time Time > Current > Dload Upload Total Spent Left > Speed > 0 0 0 0 0 0 0 0 --:--:-- 0:00:05 --:--:-- > 0curl: (7) Failed to connect to opam.ocaml.org port 443: Network is > unreachable > 000 > [ERROR] Skipping https://opam.ocaml.org as the repository is not > available. > > > Updating ~/.opam/repo/compiler-index ... > Updating ~/.opam/compilers/ ... > Updating ~/.opam/repo/package-index ... > Updating ~/.opam/packages/ ... > Updating the cache of metadata (~/.opam/state.cache) ... > Everything is up-to-date. > + opam upgrade -v > > Already up-to-date. > --- end paste --- > > > update && upgrade has been failing every time in the recent weeks so > following a thread here, I removed ~/.opam and did opam init. Now utop is > gone too. opam install utop returns 'ERROR: utop is not a valid versioned > package name'. How to get it back? > > > Thanks in advance. > > >