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

[Andy Ray <andy.ray@xxxxxxxxxxx>]

It may or may not be related but I had the exact same problem with my
freebsd armv6 stuff.

My issue was because native dyn linking was not enabled in ocaml which
is required to build optcomp.

-Andy


On Tue, Apr 29, 2014 at 3:08 PM, Amir Chaudhry <amc79@xxxxxxxxx> 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.`
>
> 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

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