Closed avsm closed 5 years ago
On verbose mode, there is specific detailed information about why the download step fails: network, curl | wget, tar extraction, missing dependencies (e.g. bzip2), etc. and with the very verbose mode, external tools output is displayed also. We don't want as a default too much display on the output, that's why most of digging information is available on verbose & debug mode, using different levels.
A very common error report is something of the form:
It would be really useful for debugging if opam would show the underlying log for why the sources couldn't be obtained (from the stderr of wget/curl). The root cause can be anything from a network failure, to a bad checksum, to a command execution error on the local host, so more details are very useful.
Related to #3393 #3497 #3702 among others.