> On 31 Mar 2015, at 13:43, Dario Teixeira <[email protected]> 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 _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
