search

fdopen / opam-repository-mingw

windows package repository for OPAM (mingw and msvc)
https://fdopen.github.io/opam-repository-mingw/
Creative Commons Zero v1.0 Universal
96 stars 34 forks source link

Cannot install depext #45

Closed VincentSe closed 6 years ago

VincentSe commented 6 years ago

Hello,

After following this page, http://fdopen.github.io/opam-repository-mingw/installation/, I tried to do opam install depext

Then the Cygwin shell failed with this error. Is the source code really missing ?

The following actions will be performed: ←[32mΓêù ←[m install ←[01mdepext←[m 1.0.5

←[36m=-=-←[m ←[01mGathering sources←[m ←[36m=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=←[m ←[K←[31m[ERROR]←[m The sources of the following couldn't be obtained, aborting:

fdopen commented 6 years ago

No, it's not missing. It's probably just a temporary problem with github. Try it again with opam install --debug depext It should print a more helpful error message, if it fails again.

VincentSe commented 6 years ago

The --debug switch helped : the problem was an SSL error in curl downloading opam-depext-full-1.0.5.tbz: curl: (35) error:140770FC:SSL routines:SSL23_GET_SERVER_HELLO:unknown protocol

I'm behing a proxy and the security configuration has probably changed recently. I worked around this by manually downloading the file in firefox, then putting it in my opam local repo.

A more precise error message would have been helpful, even the --debug switch didn't tell me the SSL problem. I had to run the curl command in a shell to see it.

fdopen commented 6 years ago

You can store your proxy settings under /home/$USERNAME/.curlrc:

proxy = <proxy_host>:<proxy_port>

or use an environment variables (http_proxy). See man curl for details.