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