Re: [sage-devel] Re: News about the ARM port

2012-01-17 Thread William Stein
On Tue, Jan 17, 2012 at 2:09 PM, Julien Puydt wrote: > Le 17/01/2012 17:22, Jeroen Demeyer a écrit : > >> On 2012-01-17 17:19, William Stein wrote: >>> >>> FWIW, This reminds me that in Boston a number theorist named Simon Wong >>> showed me Pari running on his Android tablet as a proper android a

Re: [sage-devel] Re: News about the ARM port

2012-01-17 Thread Julien Puydt
Le 17/01/2012 17:22, Jeroen Demeyer a écrit : On 2012-01-17 17:19, William Stein wrote: FWIW, This reminds me that in Boston a number theorist named Simon Wong showed me Pari running on his Android tablet as a proper android app with a GUI. Cross-compiled? I know PARI is fairly portable as lon

Re: [sage-devel] Re: News about the ARM port

2012-01-17 Thread William Stein
On Jan 17, 2012 8:22 AM, "Jeroen Demeyer" wrote: > > On 2012-01-17 17:19, William Stein wrote: > > FWIW, This reminds me that in Boston a number theorist named Siman Wong > > showed me Pari running on his Android tablet as a proper android app > > with a GUI. > Cross-compiled? I believe so. I cc'

Re: [sage-devel] Re: News about the ARM port

2012-01-17 Thread Jeroen Demeyer
On 2012-01-17 17:19, William Stein wrote: > FWIW, This reminds me that in Boston a number theorist named Simon Wong > showed me Pari running on his Android tablet as a proper android app > with a GUI. Cross-compiled? I know PARI is fairly portable as long as you compile it on the machine you inten

Re: [sage-devel] Re: News about the ARM port

2012-01-17 Thread William Stein
On Jan 17, 2012 5:25 AM, "Jeroen Demeyer" wrote: > > On 2012-01-16 17:01, William Stein wrote: > > On Mon, Jan 16, 2012 at 4:49 AM, mmarco wrote: > >> Is there any hope of compiling sage for android? or the only way to > >> have sage running on a tablet would be to install a linux system on > >>

Re: [sage-devel] Re: News about the ARM port

2012-01-17 Thread Jeroen Demeyer
On 2012-01-16 17:01, William Stein wrote: > On Mon, Jan 16, 2012 at 4:49 AM, mmarco wrote: >> Is there any hope of compiling sage for android? or the only way to >> have sage running on a tablet would be to install a linux system on >> top of the android one? > > My impression is that the only wa

[sage-devel] Re: News about the ARM port

2012-01-16 Thread Jason Grout
On 1/16/12 10:13 AM, Keshav Kini wrote: FWIW the Google Nexus One was not the first Android phone by a long shot - it shipped with Android 2.1. The phone Carl Witty built Sage on was truly the first Android phone - the HTC Dream, a.k.a. T-Mobile G1 in the US, or Google ADP-1 in a specially brande

Re: [sage-devel] Re: News about the ARM port

2012-01-16 Thread Keshav Kini
FWIW the Google Nexus One was not the first Android phone by a long shot - it shipped with Android 2.1. The phone Carl Witty built Sage on was truly the first Android phone - the HTC Dream, a.k.a. T-Mobile G1 in the US, or Google ADP-1 in a specially branded version for developers. It shipped wi

Re: [sage-devel] Re: News about the ARM port

2012-01-16 Thread Julien Puydt
Le 16/01/2012 17:01, William Stein a écrit : On Mon, Jan 16, 2012 at 4:49 AM, mmarco wrote: Is there any hope of compiling sage for android? or the only way to have sage running on a tablet would be to install a linux system on top of the android one? My impression is that the only way to bui

Re: [sage-devel] Re: News about the ARM port

2012-01-16 Thread William Stein
On Mon, Jan 16, 2012 at 4:49 AM, mmarco wrote: > Is there any hope of compiling sage for android? or the only way to > have sage running on a tablet would be to install a linux system on > top of the android one? My impression is that the only way to build software for Android is via *cross compi

Re: [sage-devel] Re: News about the ARM port

2012-01-16 Thread Julien Puydt
Le 16/01/2012 13:49, mmarco a écrit : Is there any hope of compiling sage for android? or the only way to have sage running on a tablet would be to install a linux system on top of the android one? That is a very good question. For a big phone (the marketing name is "smartphone"), there is de

[sage-devel] Re: News about the ARM port

2012-01-16 Thread mmarco
Is there any hope of compiling sage for android? or the only way to have sage running on a tablet would be to install a linux system on top of the android one? On 17 dic 2011, 16:34, Julien Puydt wrote: > Le 04/12/2011 20:09, Julien Puydt a �crit : > > > I have successfully built 4.7.2 (with my

Re: [sage-devel] Re: News about the ARM port

2011-12-03 Thread Julien Puydt
Le 03/12/2011 17:16, kcrisman a écrit : Oh dear ; can't it get the version number itself like a big kid!? The idea is that one can make longer name versions for different purposes - like different architectures. Point taken, though - maybe there's even a ticket for a "default" version... In fa

[sage-devel] Re: News about the ARM port

2011-12-03 Thread kcrisman
> Oh dear ; can't it get the version number itself like a big kid!? The idea is that one can make longer name versions for different purposes - like different architectures. Point taken, though - maybe there's even a ticket for a "default" version... > In fact, I sometimes have the impression that

Re: [sage-devel] Re: News about the ARM port

2011-12-03 Thread Julien Puydt
Le 03/12/2011 16:41, kcrisman a écrit : On Dec 3, 4:58 am, Julien Puydt wrote: Le 03/12/2011 09:21, William Stein a crit : ... since I may be interested in trying a binary from you, which you could make with "sage -bdist" or just by tarring up your existing install of Sage, if you have the

[sage-devel] Re: News about the ARM port

2011-12-03 Thread kcrisman
On Dec 3, 4:58 am, Julien Puydt wrote: > Le 03/12/2011 09:21, William Stein a crit : > > > ... since I may be interested in trying a binary from you, which you > > could make with "sage -bdist" or just by tarring up your existing > > install of Sage, if you have the disk space. > > I'm not sure

Re: [sage-devel] Re: News about the ARM port

2011-08-23 Thread Julien Puydt
Le 23/08/2011 15:52, Dima Pasechnik a écrit : This is a bit off-topic: I have an AC100 laptop (just like yours, I presume), although made for Japanese market. And I managed to (half)brick it attempting to install Ubuntu on its solid state drive. :( In particular I seem to have nuked its bootload

[sage-devel] Re: News about the ARM port

2011-08-23 Thread Dima Pasechnik
This is a bit off-topic: I have an AC100 laptop (just like yours, I presume), although made for Japanese market. And I managed to (half)brick it attempting to install Ubuntu on its solid state drive. :( In particular I seem to have nuked its bootloader, so the original Android doesn't quite wor