Re: [MirageOS-devel] Mirage on Codio - problem with optcomp?

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA384

On 04/29/2014 16:08, Amir Chaudhry wrote:
> Hi folks,
> 
> I've been trying to find out if Codio (codio.com) would be a good
> way of running a tutorial but I've hit a roadbump.  It seems I
> can't install mirage because optcomp is not available for that OS.
> The error message is:
> 
> `The dependency optcomp of package ocplib-endian.0.4 is not
> available for your compiler or your OS.`

Interesting, I had the same issue when doing a fresh install on
FreeBSD. My workaround was an explicit `opam install optcomp`, and
then continuing with `opam install mirage`.

Hannes

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (FreeBSD)

iQIcBAEBCQAGBQJTX7LbAAoJELyJZYjffCjujKcQAKRUszLh7BOUoLPVkaJ87PjM
ga5Viq0I132dAY7pRUmE2wx402pdDum8J+bHxUGGJvqPssZ2FMs4DUlrTMUVWDIV
6RQAWXE2Woj3xLUkP7WBxD66CVLHsLrRmE4q8BBCbPlVDITuCwI14IobXLEBBiMY
Vh74LaEQj1vaiKkOK7sgjRXDb95c6DC20zeBr46CdPyhCxRi29aoEbKLri8W7VJU
MVZ3h0Z/d4VK3W2SR2fZD+72Y2LS8Ni04nd9SoTsGSQaCcfIosK6fKvNLFzvTSFw
ANQ9yokpbXYHCqeB49bEk5pz6JhzOAQyYg6QkkTXI/uGcTFKAFPShtbx/NftZ+WD
WAG9RzDGxrz6Xq6d7M17gF5XKSWHZJ2w5wY9C2yeH7eDTDPfL52fPx8SLzCc4+dj
hfVCi/v4fBWyCXd6ZyNmX+qV0cLPxKONEFTvN966BOeJ9MtLa0rzyYN3xHIyt0By
f9GmE3wpQMDfQJJRPcG7ePeXp5j3L+uDJXY3uMc+PAs4CHrzWz9Cb7nbGLHw2PDe
isGfNdzHllts7dN0Y4wSW0YJ9EKPYW62IR8ElmU6Giwnr0cQ5xYa/dWk0YMq2d4E
ewhwhcRpCcT+1e9GP9izw32ElbaD073bd5XyUxM6Z0K/h/15xhGLOlrYj5nE1xSf
V8awuswg36UJzYCIJnxc
=/sRl
-----END PGP SIGNATURE-----

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