[ocaml-platform] opam update problem

Bruce Butterfield B.Butterfield at F5.com
Thu Jul 23 17:04:01 BST 2015


OK, that isolated the problem:

butterfield-mba:~ bruce$ opam update -vv

=-=- Updating package repositories =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=  🐫
[default: http] Command started
+ wget "--content-disposition" "--no-check-certificate" "-t" "3" "https://opam.ocaml.org/urls.txt" (CWD=/var/folders/6p/sf2lk3297kb9sl_tpq6tckcw0000gn/T/opam-3244-dd682e)
- dyld: Library not loaded: /usr/local/opt/openssl/lib/libssl.1.0.0.dylib
-   Referenced from: /usr/local/bin/wget
-   Reason: image not found
[ERROR] Could not update repository default
^C'opam update -vv' failed.
butterfield-mba:~ bruce$

Just a problem loading a shared lib. That I can fix. Thanks!

> On Jul 23, 2015, at 12:29 AM, Thomas Gazagnaire <thomas at gazagnaire.org> wrote:
> 
>> I can if it doesn't have the '.' at the end of the URI. 
> 
> This is just pretty-printing.
> 
> Try with -vv to see what command opam actually uses. It might be an issue with your version of curl. And maybe move the discussion to the issue tracker on GitHub[1] where it would be tracked more easily.
> 
> Best,
> Thomas
> 
> [1]: https://github.com/ocaml/opam/issues
> 
>> 
>>> On Jul 22, 2015, at 3:19 PM, Thomas Gazagnaire <thomas at gazagnaire.org> wrote:
>>> 
>>>> I'm unable to run 'opam update' -- I get an error message "Could not update repository default". Running it with debug flag:
>>>> 
>>>> $ opam update --debug
>>>> ...
>>>> Processing  1/1: [default: http]
>>>> 00:00.397  PARALLEL                Collected task for job 0 (ret:256)
>>>> 00:00.397  SYSTEM                  rmdir /var/folders/6p/sf2lk3297kb9sl_tpq6tckcw0000gn/T/opam-90980-dd682e
>>>> 00:00.403  SYSTEM                  Could not download file at https://opam.ocaml.org/urls.txt.
>>>> [ERROR] Could not update repository default
>>>> ...
>>>> 
>>>> The period at the end of the URL is suspicious but I have no idea why it is there or if that is the problem. Any ideas?
>>> 
>>> Can you access that url using curl or wget?
>>> 
>>> Thomas
>> 
> 



More information about the Platform mailing list