[opam-devel] OPAM on a Raspberry Pi 2
anil at recoil.org
Tue Mar 31 14:36:26 BST 2015
> On 31 Mar 2015, at 13:43, Dario Teixeira <darioteixeira at yahoo.com> wrote:
> 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!
More information about the opam-devel