Re: [sage-devel] Re: Make ARM a supported platform
You mean like using SAGE_ATLAS_LIB to avoid shipping a too optimized version of that lib? My comment was more in the line of making sure that the resulting compiled code does not use instructions that are not available at the raspberry pi processor. IIRC that means making sure that we compile for ARMv6 (although the raspberry pi has some more instructions than the plain ARMv6) -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Make ARM a supported platform
On Tuesday, September 2, 2014 3:13:09 PM UTC+2, mmarco wrote: You mean like using SAGE_ATLAS_LIB to avoid shipping a too optimized version of that lib? My comment was more in the line of making sure that the resulting compiled code does not use instructions that are not available at the raspberry pi processor. IIRC that means making sure that we compile for ARMv6 (although the raspberry pi has some more instructions than the plain ARMv6) I don't agree. More precisely, we should definitely have an ARMv7+ version. Having an additional ARMv6 version targetting Raspberry Pis would be nice. In my experience, the only realy issue with the RPi is the limited amount of RAM which enforces you to mount a swap partition for some big compilation not to fail (I'd say linbox)... and it takes a very long time. Even ATLAS should compile fine. -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Make ARM a supported platform
Hi, Le 02/09/2014 15:26, Jean-Pierre Flori a écrit : On Tuesday, September 2, 2014 3:13:09 PM UTC+2, mmarco wrote: You mean like using SAGE_ATLAS_LIB to avoid shipping a too optimized version of that lib? My comment was more in the line of making sure that the resulting compiled code does not use instructions that are not available at the raspberry pi processor. IIRC that means making sure that we compile for ARMv6 (although the raspberry pi has some more instructions than the plain ARMv6) I don't agree. More precisely, we should definitely have an ARMv7+ version. Having an additional ARMv6 version targetting Raspberry Pis would be nice. In my experience, the only realy issue with the RPi is the limited amount of RAM which enforces you to mount a swap partition for some big compilation not to fail (I'd say linbox)... and it takes a very long time. Even ATLAS should compile fine. Whatever we have, there should be more recent bdist tarballs available... Snark on #sagemath -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Make ARM a supported platform
Cool. IIRC different kind of ARM boards have already been used by a bunch of users with success. At least I had quite no problems building Sage on a Raspberry Pi and on a Cortex A9 based board. On Monday, September 1, 2014 2:49:06 PM UTC+2, Volker Braun wrote: I'm proposing to make ARM a fully supported platfrom. Or, more specifically: the Calxeda Highbank ECX-1000 that we have access to here in Oxford. Thanks to Dima's efforts, Sage 6.3 builds and tests OK on that machine. I've added an ARM buildslave to the buildbot. -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Make ARM a supported platform
Which OS did you build it in? -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Make ARM a supported platform
Ubuntu 12.10 (there seem to be some issues with updating) On Monday, September 1, 2014 2:20:14 PM UTC+1, mmarco wrote: Which OS did you build it in? -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Make ARM a supported platform
Would it be possible to aim at other options (mainly, raspbian) -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Make ARM a supported platform
If somebody wants to administer a buildbot slave then thats fine with me. On a practical level I think a raspberry is too slow for continuous integration purposes. On Monday, September 1, 2014 5:49:18 PM UTC+1, mmarco wrote: Would it be possible to aim at other options (mainly, raspbian) -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Make ARM a supported platform
Le 01/09/2014 15:36, Volker Braun a écrit : Ubuntu 12.10 (there seem to be some issues with updating) Which issues? I build my bdist on 14.04 (but with SAGE_ATLAS_LIB). Snark on #sagemath -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Make ARM a supported platform
On Monday, September 1, 2014 6:22:26 PM UTC+1, Snark wrote: Ubuntu 12.10 (there seem to be some issues with updating) Which issues? I build my bdist on 14.04 (but with SAGE_ATLAS_LIB). Admin is waiting for vendor support to reply... ;-) -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Make ARM a supported platform
On a practical level I think a raspberry is too slow for continuous integration purposes. Do you mean on the maintainer side or the user? For the user, sage would probably take a long time to load, but then should work more or less ok. For the maintainer... i was thinking on compiling on a faster machine. It should be possible, just making sure that the target of the compilation is generic enough. -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Make ARM a supported platform
Hi, Le 01/09/2014 21:45, mmarco a écrit : For the maintainer... i was thinking on compiling on a faster machine. It should be possible, just making sure that the target of the compilation is generic enough. You mean like using SAGE_ATLAS_LIB to avoid shipping a too optimized version of that lib? Snark on #sagemath -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.