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

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

This particular problem is due to not having the external aspcud solver
installed, and the internal solver falls over.  ThomasG has improved this
in OPAM 1.2dev, but it's not released yet.

The FreeBSD aspcud port was also not working correctly last time I checked,
so it may be the same issue there too.  I've left a note on the Codio
issue to request them to add aspcud to the default install:
https://github.com/codio/boxparts/pull/83

-anil

On 29 Apr 2014, at 15:13, Andy Ray <andy.ray@xxxxxxxxxxx> wrote:

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


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