Re: [MirageOS-devel] headsup: mirage-skeleton and mirage-www now using dev repos

[Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>]

On 18 Sep 2014, at 22:38, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:

> I've ported the trunks of mirage-skeleton and mirage-www to use the Mirage 2 
> development repositories, since most of us are using the latest libraries in 
> order to test them for release anyway.
> 
> To build mirage-skeleton/mirage-www, you will now need to:
> 
>    opam remote add mirage git://github.com/mirage/mirage-dev
>    opam update -u

fwiw just tried that and ended up at 

...
mirage-www.1.2.0 Fetching git://github.com/mirage/mirage-www
The following DEV package needs to be upgraded:
 - mirage-www.1.2.0
Updating the cache of metadata (~/.opam/state.cache) ...
0 to install | 103 to reinstall | 14 to upgrade | 1 to downgrade | 0 to remove
You can now run 'opam upgrade' to upgrade your system.
[WARNING] External solver failed with inconsistent return value. Request saved 
to "/Users/mort/.opam/log/solver-error-33616-1.cudf"
Falling back to the internal heuristic.

...at which point i killed it. is this expected, or worth filing an opam issue?


-- 
Cheers,

R.

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel