Em 24 de abril de 2012 13:46, mmarco <mma...@unizar.es> escreveu:
>
> Nevermind, it worked by mounting an empty tmpfs as shm device

  Good to know the real issue :-) My workaround only works for
missing /dev/shm. Missing /dev/pts on build chroots I managed
to bug at Mandriva sometime ago, to get it properly mounted in
build nodes, otherwise it cannot generate documentation because
gap would fail to start.

> On 24 abr, 18:07, mmarco <mma...@unizar.es> wrote:
>> There is no /dev/shm in my android system. Could it be that this is
>> the problem? If so, is there any hope of solving it?

Paulo

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to