[sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On 2012-05-25, mmarco mma...@unizar.es wrote: That's what i meant. What i wanted to ask is if the ubuntu chroot method will also be officially supported. For this one needs hardware that can test of such a setup in a reliable automated way. I have no idea how Android developers do testing --- I presume they have some kind of development boards allowing tests to run. Maybe one can try get support from Canonical for such a project. Dima On 25 mayo, 17:21, William Stein wst...@gmail.com wrote: On Fri, May 25, 2012 at 7:45 AM, mmarco mma...@unizar.es wrote: Let's make ARM an officially supported platform for Sage! Does that include android? For now, I think it means Ubuntu on ARM, which includes Android in the sense of using a chroot install of Ubuntu. I don't know if building Sage directly for Android is even remotely plausible. William -- 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 athttp://groups.google.com/group/sage-devel URL:http://www.sagemath.org -- William Stein Professor of Mathematics University of Washingtonhttp://wstein.org -- 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
[sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
Dima Pasechnik dimp...@gmail.com writes: On 2012-05-25, mmarco mma...@unizar.es wrote: That's what i meant. What i wanted to ask is if the ubuntu chroot method will also be officially supported. For this one needs hardware that can test of such a setup in a reliable automated way. I have no idea how Android developers do testing --- I presume they have some kind of development boards allowing tests to run. Maybe one can try get support from Canonical for such a project. Android development is usually done on a virtual machine / emulator - see http://developer.android.com/guide/developing/tools/emulator.html Of course, if you want to test on actual physical devices, that's fine too. For a while Google was selling official Android Development Phones, which were Google-branded unlocked factory-rooted versions of a couple of common phones. I have an ADP1, which is based on the HTC Dream, and ADP2 was based on the HTC Magic. Later, Google started giving actual names to these devices - as I understand it, ADP 3 through 5 are the Google Nexus One, Google Nexus S, and Galaxy Nexus respectively. -Keshav Join us in #sagemath on irc.freenode.net ! -- 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
[sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
Let's make ARM an officially supported platform for Sage! Does that include android? -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On Fri, May 25, 2012 at 7:45 AM, mmarco mma...@unizar.es wrote: Let's make ARM an officially supported platform for Sage! Does that include android? For now, I think it means Ubuntu on ARM, which includes Android in the sense of using a chroot install of Ubuntu. I don't know if building Sage directly for Android is even remotely plausible. William -- 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 -- William Stein Professor of Mathematics University of Washington http://wstein.org -- 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
[sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
That's what i meant. What i wanted to ask is if the ubuntu chroot method will also be officially supported. On 25 mayo, 17:21, William Stein wst...@gmail.com wrote: On Fri, May 25, 2012 at 7:45 AM, mmarco mma...@unizar.es wrote: Let's make ARM an officially supported platform for Sage! Does that include android? For now, I think it means Ubuntu on ARM, which includes Android in the sense of using a chroot install of Ubuntu. I don't know if building Sage directly for Android is even remotely plausible. William -- 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 athttp://groups.google.com/group/sage-devel URL:http://www.sagemath.org -- William Stein Professor of Mathematics University of Washingtonhttp://wstein.org -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On Tue, May 1, 2012 at 10:29 PM, Dima Pasechnik Sure, I (perhaps with Keshav as a backup --- Keshav, would you mind helping?) can do the admin. I suppose 10 hours is still acceptable for a build (I expect it actually be quicker with a HD, as the solid state drive in my AC100 is kind of slow, and might take a lot of wallclock time during the build). I certainly cannot predict how often a manual intervention will be needed, but let's hope for the best. Dima Hi, I just ordered a TrimeSlice Pro [1]. I think Andrew Ohana will likely do the initial operating system install, then you can admin it afterwards.Let's make ARM an officially supported platform for Sage! [1] http://trimslice.com/web/models -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
Le mardi 01 mai, Dima Pasechnik a écrit: I suppose 10 hours is still acceptable for a build (I expect it actually be quicker with a HD, as the solid state drive in my AC100 is kind of slow, and might take a lot of wallclock time during the build). More memory will also shorten the build time, I think : not only is the big storage slow, but it's also used pretty heavily for the swap. I certainly cannot predict how often a manual intervention will be needed, but let's hope for the best. If it's an ubuntu box, it shouldn't need any more manual intervention than an X86_64... Snark on #sagemath -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On 2012-05-01 17:38, William Stein wrote: Thanks for researching this! So I could buy a Trim-Slice H250 for about $350, get a name assigned to it (trim.math.washington.edu)? and put it in our server room. But it will take 10 hours to build sage. 10 hours isn't so bad. We already have 3 buildbot machines slower than that. -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On Tue, May 1, 2012 at 11:42 PM, Jeroen Demeyer jdeme...@cage.ugent.be wrote: On 2012-05-01 17:38, William Stein wrote: Thanks for researching this! So I could buy a Trim-Slice H250 for about $350, get a name assigned to it (trim.math.washington.edu)? and put it in our server room. But it will take 10 hours to build sage. 10 hours isn't so bad. We already have 3 buildbot machines slower than that. Very cool. I hereby plan to purchase a Trim-Slice for the server room for Sage development purposes. Question: I have an old atom N270 netbook with Linux. Would it be useful for me to turn this on and put on the internet for sage build testing? -- William -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On 2012-05-02 18:50, William Stein wrote: Question: I have an old atom N270 netbook with Linux. Would it be useful for me to turn this on and put on the internet for sage build testing? Just do it, so I can play with it :-) -- 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
[sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
Question: I have an old atom N270 netbook with Linux. Would it be useful for me to turn this on and put on the internet for sage build testing? -- William I have one of those, and i did compile sage a couple of times there with no problems. It shouldn't be different than any other x86 computer, except for the speed. -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On Mon, Apr 30, 2012 at 10:47 PM, Dima Pasechnik dimp...@gmail.com wrote: In gmane.comp.mathematics.sage.devel, you wrote: On Mon, Apr 30, 2012 at 8:00 AM, Dima Pasechnik dimp...@gmail.com wrote: On 2012-04-29, Jeroen Demeyer jdeme...@cage.ugent.be wrote: On 2012-04-28 20:44, mmarco wrote: Will some day ARM be one of the platforms oficially supported? I guess a platform can only be truly officially supported if there is a buildbot for it. If we don't test on ARM, sooner or later something will break. one can try hosting a buildbot on http://gcc.gnu.org/wiki/CompileFarm I have no idea how hard is to actually get an account there though. (And they only have ARM running Ubuntu 9.10, it seems) I can possibly buy an ARM linux box specifically for this purpose (using Sage Foundation money), or get one added to skynet, maybe. What would be the optimal ARM computer for this purpose, optimal OS, etc.? Please be as precise as possible. Thanks! it seems there is no high-power ARM box available, and it's not so easy to get something ready-to-use, with Ethernet and HD built-in. Currently the fastest available things are ARM Cortex-9 chip-based, which is a dual-core 1GHz. A standard build of Sage on such a thing takes a while (10 hours or so, using both cores). One option might be: http://trimslice.com/web/trim-slice-h-specifications (specifically, Trim-Slice H250, which has a HD built-in, something that might be better suited for our purposes, and it has Ubuntu installed.) it can be ordered directly here: http://trimslice.com/web/order-direct Otherwise one might need to buy a development board, which is probably too much trouble. On the other hand they now (released only this year) have Cortex-15 chip, which is up to quad-core and 2GHz. Thanks for researching this! So I could buy a Trim-Slice H250 for about $350, get a name assigned to it (trim.math.washington.edu)? and put it in our server room. But it will take 10 hours to build sage. Or, I could wait a few months (?) for a Cortex-15 version to come out, and it should be about the same, but take much less time to do builds. Would you volunteer to be the admin for the machine, assuming I set it up and give you root? Dima -- 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 -- William Stein Professor of Mathematics University of Washington http://wstein.org -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On Tuesday, May 1, 2012 3:38:26 PM UTC, William wrote: On Mon, Apr 30, 2012 at 10:47 PM, Dima Pasechnik wrote: In gmane.comp.mathematics.sage.devel, you wrote: On Mon, Apr 30, 2012 at 8:00 AM, Dima Pasechnik wrote: On 2012-04-29, Jeroen Demeyer wrote: On 2012-04-28 20:44, mmarco wrote: Will some day ARM be one of the platforms oficially supported? I guess a platform can only be truly officially supported if there is a buildbot for it. If we don't test on ARM, sooner or later something will break. one can try hosting a buildbot on http://gcc.gnu.org/wiki/CompileFarm I have no idea how hard is to actually get an account there though. (And they only have ARM running Ubuntu 9.10, it seems) I can possibly buy an ARM linux box specifically for this purpose (using Sage Foundation money), or get one added to skynet, maybe. What would be the optimal ARM computer for this purpose, optimal OS, etc.? Please be as precise as possible. Thanks! it seems there is no high-power ARM box available, and it's not so easy to get something ready-to-use, with Ethernet and HD built-in. Currently the fastest available things are ARM Cortex-9 chip-based, which is a dual-core 1GHz. A standard build of Sage on such a thing takes a while (10 hours or so, using both cores). One option might be: http://trimslice.com/web/trim-slice-h-specifications (specifically, Trim-Slice H250, which has a HD built-in, something that might be better suited for our purposes, and it has Ubuntu installed.) it can be ordered directly here: http://trimslice.com/web/order-direct Otherwise one might need to buy a development board, which is probably too much trouble. On the other hand they now (released only this year) have Cortex-15 chip, which is up to quad-core and 2GHz. Thanks for researching this! So I could buy a Trim-Slice H250 for about $350, get a name assigned to it (trim.math.washington.edu)? and put it in our server room. But it will take 10 hours to build sage. Or, I could wait a few months (?) for a Cortex-15 version to come out, and it should be about the same, but take much less time to do builds. Would you volunteer to be the admin for the machine, assuming I set it up and give you root? Sure, I (perhaps with Keshav as a backup --- Keshav, would you mind helping?) can do the admin. I suppose 10 hours is still acceptable for a build (I expect it actually be quicker with a HD, as the solid state drive in my AC100 is kind of slow, and might take a lot of wallclock time during the build). I certainly cannot predict how often a manual intervention will be needed, but let's hope for the best. Dima -- 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
[sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On 2012-04-29, Jeroen Demeyer jdeme...@cage.ugent.be wrote: On 2012-04-28 20:44, mmarco wrote: Will some day ARM be one of the platforms oficially supported? I guess a platform can only be truly officially supported if there is a buildbot for it. If we don't test on ARM, sooner or later something will break. one can try hosting a buildbot on http://gcc.gnu.org/wiki/CompileFarm I have no idea how hard is to actually get an account there though. (And they only have ARM running Ubuntu 9.10, it seems) What about not too official official support? (i.e. very likely to work, tested, albeit not as much as we want to) I imagine people who can run chrooted Ubuntu on their newer Android tablets/combos might be interested at lot... Dima -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On Mon, Apr 30, 2012 at 8:00 AM, Dima Pasechnik dimp...@gmail.com wrote: On 2012-04-29, Jeroen Demeyer jdeme...@cage.ugent.be wrote: On 2012-04-28 20:44, mmarco wrote: Will some day ARM be one of the platforms oficially supported? I guess a platform can only be truly officially supported if there is a buildbot for it. If we don't test on ARM, sooner or later something will break. one can try hosting a buildbot on http://gcc.gnu.org/wiki/CompileFarm I have no idea how hard is to actually get an account there though. (And they only have ARM running Ubuntu 9.10, it seems) I can possibly buy an ARM linux box specifically for this purpose (using Sage Foundation money), or get one added to skynet, maybe. What would be the optimal ARM computer for this purpose, optimal OS, etc.? Please be as precise as possible. Thanks! -- William What about not too official official support? (i.e. very likely to work, tested, albeit not as much as we want to) I imagine people who can run chrooted Ubuntu on their newer Android tablets/combos might be interested at lot... Dima -- 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 -- William Stein Professor of Mathematics University of Washington http://wstein.org -- 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
[sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
Compiling sage in my tablet was so slow that i even considered emulating an arm system through qemu as an alternative (although it would probably be even slower, a pc is better suited for long and intensive cpu usage than an android device). Regarding the OS for a buildbot, i would really apreciate if it would be one of the usual chroot solutions for android that you can find in the web. I think ubuntu would be by far the most popular. P.S. I can confirm that, after a slow and painful compilation, sage works like a charm in a chrooted ubuntu. If sage can manage to offer a working solution for android, it would definitely give an adge over the MA's. -- 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
[sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
In gmane.comp.mathematics.sage.devel, you wrote: On Mon, Apr 30, 2012 at 8:00 AM, Dima Pasechnik dimp...@gmail.com wrote: On 2012-04-29, Jeroen Demeyer jdeme...@cage.ugent.be wrote: On 2012-04-28 20:44, mmarco wrote: Will some day ARM be one of the platforms oficially supported? I guess a platform can only be truly officially supported if there is a buildbot for it. If we don't test on ARM, sooner or later something will break. one can try hosting a buildbot on http://gcc.gnu.org/wiki/CompileFarm I have no idea how hard is to actually get an account there though. (And they only have ARM running Ubuntu 9.10, it seems) I can possibly buy an ARM linux box specifically for this purpose (using Sage Foundation money), or get one added to skynet, maybe. What would be the optimal ARM computer for this purpose, optimal OS, etc.? Please be as precise as possible. Thanks! it seems there is no high-power ARM box available, and it's not so easy to get something ready-to-use, with Ethernet and HD built-in. Currently the fastest available things are ARM Cortex-9 chip-based, which is a dual-core 1GHz. A standard build of Sage on such a thing takes a while (10 hours or so, using both cores). One option might be: http://trimslice.com/web/trim-slice-h-specifications (specifically, Trim-Slice H250, which has a HD built-in, something that might be better suited for our purposes, and it has Ubuntu installed.) it can be ordered directly here: http://trimslice.com/web/order-direct Otherwise one might need to buy a development board, which is probably too much trouble. On the other hand they now (released only this year) have Cortex-15 chip, which is up to quad-core and 2GHz. Dima -- 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
[sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On 2012-04-28, Julien Puydt julien.pu...@laposte.net wrote: Hi, here is a new report on the status of sage on ARM (ubuntu) : I just got a successful build of 5.0.beta14 -- no patch, no special spkg, just the bare, unadorned, ugly-as-can-be 5.0.beta14. So 5.0.beta14 will stay in History as the first sage version to compile as-is on ARM :-) I've upgraded mine AC100 to 12.04, and bulding beta14 now. Are you still on 11.10? Dima I'll post updates about the results of make ptestlong when I'll have them (tomorrow). In the meantime, I'll just enjoy the current achievement :-) Snark on #sagemath -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
Le samedi 28 avril, Dima Pasechnik a écrit: On 2012-04-28, Julien Puydt julien.pu...@laposte.net wrote: Hi, here is a new report on the status of sage on ARM (ubuntu) : I just got a successful build of 5.0.beta14 -- no patch, no special spkg, just the bare, unadorned, ugly-as-can-be 5.0.beta14. So 5.0.beta14 will stay in History as the first sage version to compile as-is on ARM :-) I've upgraded mine AC100 to 12.04, and bulding beta14 now. Are you still on 11.10? My etc/apt/sources.list says I'm running precise, so I guess I'm on 12.04. Snark on #sagemath -- 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
[sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
Will some day ARM be one of the platforms oficially supported? -- 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
Re: [sage-devel] Re: Sage 5.0.beta14 and ARM(ubuntu)
On 2012-04-28 20:44, mmarco wrote: Will some day ARM be one of the platforms oficially supported? I guess a platform can only be truly officially supported if there is a buildbot for it. If we don't test on ARM, sooner or later something will break. -- 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
