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

[Amir Chaudhry <amc79@xxxxxxxxx>]

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.`

I'm a little confused by this as the machine appears to be running Ubuntu, so 
I'd expect it to work.  

Details from the Codio box:
- Ubuntu (3.11.0-15-generic)
- opam 1.1.1
- OCaml 4.01.0

I don't know if this is a problem with Codio, the opam-repo data, opam or 
optcomp (or something else).

To reproduce this, sign up on Codio and open their terminal (in the browser, 
not your own! - you'll find it in their menu bar under 'Tools -> Terminal').

At the prompt:
    $ parts install opam       # then open a new browser terminal
    $ opam install mirage

Any thoughts?

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