[opam-devel] OPAM on a Raspberry Pi 2

[Anil Madhavapeddy]

> On 31 Mar 2015, at 13:43, Dario Teixeira <darioteixeira at yahoo.com> wrote:
> 
> Hi,
> 
> I'm trying to use OPAM 1.2.1 on a Raspberry Pi 2 running Raspbian.
> At first glance everything seems fine.  However, I'm running into
> problems when attempting to install some packages with complex
> dependencies.  OPAM complains that it cannot install package A
> because it requires package B, instead of trying to install B
> and its dependencies automatically.  I suspect the solver is
> timing out prematurely given the lowly specs of the Pi 2.
> (I have a similar setup in a more powerful ARM SBC, and
> everything works fine).
> 
> I've tried installing aspcud, but OPAM complains that the
> external solver produces bad output.

This sounds like the key problem. OPAM+aspcud should work fine
on ARM (we use it regularly like this in MirageOS with a Cubieboard2).

Could you please file a bug report with the version of aspcud and
OPAM and the output?  Thanks!

Anil