[sage-devel] Re: Is it possible to make an arm port of sage?
Thanks everyone :). I got it here, a working sage 6.9 arm version for Raspbian Jessie https://raspberrypi.stackexchange.com/questions/69183/is-there-any-raspberry-pi-version-of-sagemath?noredirect=1#comment109029_69183 :) On Sunday, July 2, 2017 at 7:07:54 PM UTC+6, Pavel Sayekat wrote: > > Is it possible to make an arm port of sage like Raspberry PI? > -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Is it possible to make an arm port of sage?
On Sunday, July 2, 2017 at 6:18:09 PM UTC+1, Volker Braun wrote: > > Up until about a year ago we had an ARM buiildbot on a Oxford University > machine; But that seems to have disappeared (maybe Dima knows). > This one is gone for good, I think. It looks that nowadays one can get 64-bit ARM cloud host on the cheap, perhaps this would be the way to go. > > > > On Sunday, July 2, 2017 at 6:58:40 PM UTC+2, William wrote: >> >> >> >> >> On Jul 2, 2017, at 9:26 AM, aishen wrote: >> >> or orange pi zero with armbian ? >> >> >> Over the last 9 or so years, people have built Sage on pi, Google Nexus 1 >> phones (right when it came out), and many other ARM devices... I don’t >> know what the current status is. >> >> I will have a look if it's not already in repo >> >> Le dimanche 2 juillet 2017 15:07:54 UTC+2, Pavel Sayekat a écrit : >>> >>> Is it possible to make an arm port of sage like Raspberry PI? >>> >> -- >> 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+...@googlegroups.com. >> To post to this group, send email to sage-...@googlegroups.com. >> Visit this group at https://groups.google.com/group/sage-devel. >> For more options, visit https://groups.google.com/d/optout. >> >> -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Is it possible to make an arm port of sage?
Thanks... It fails after about 1 hour with gcc-5.4 not found... Any way I would have stop before. I installed it on hptouchpad from google play Le dimanche 2 juillet 2017 15:07:54 UTC+2, Pavel Sayekat a écrit : > > Is it possible to make an arm port of sage like Raspberry PI? > -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Is it possible to make an arm port of sage?
> On Jul 2, 2017, at 12:16 PM, aishen wrote: > > Iam compiling it on armbian on orange pi zero, after 20 minutes it 's still > compiling we will see... Expect it to take at least **24 hours** (if it works). Follow the direction to use the system-wide ATLAS for much reduced compile times... > > Le dimanche 2 juillet 2017 15:07:54 UTC+2, Pavel Sayekat a écrit : >> >> Is it possible to make an arm port of sage like Raspberry PI? > > -- > 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 https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Is it possible to make an arm port of sage?
Iam compiling it on armbian on orange pi zero, after 20 minutes it 's still compiling we will see... Le dimanche 2 juillet 2017 15:07:54 UTC+2, Pavel Sayekat a écrit : > > Is it possible to make an arm port of sage like Raspberry PI? > -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Is it possible to make an arm port of sage?
Up until about a year ago we had an ARM buiildbot on a Oxford University machine; But that seems to have disappeared (maybe Dima knows). On Sunday, July 2, 2017 at 6:58:40 PM UTC+2, William wrote: > > > > > On Jul 2, 2017, at 9:26 AM, aishen > > wrote: > > or orange pi zero with armbian ? > > > Over the last 9 or so years, people have built Sage on pi, Google Nexus 1 > phones (right when it came out), and many other ARM devices... I don’t > know what the current status is. > > I will have a look if it's not already in repo > > Le dimanche 2 juillet 2017 15:07:54 UTC+2, Pavel Sayekat a écrit : >> >> Is it possible to make an arm port of sage like Raspberry PI? >> > -- > 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+...@googlegroups.com . > To post to this group, send email to sage-...@googlegroups.com > . > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > > -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Is it possible to make an arm port of sage?
> On Jul 2, 2017, at 9:26 AM, aishen wrote: > > or orange pi zero with armbian ? Over the last 9 or so years, people have built Sage on pi, Google Nexus 1 phones (right when it came out), and many other ARM devices... I don’t know what the current status is. > I will have a look if it's not already in repo > > Le dimanche 2 juillet 2017 15:07:54 UTC+2, Pavel Sayekat a écrit : >> >> Is it possible to make an arm port of sage like Raspberry PI? > > -- > 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 https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
[sage-devel] Re: Is it possible to make an arm port of sage?
or orange pi zero with armbian ? I will have a look if it's not already in repo Le dimanche 2 juillet 2017 15:07:54 UTC+2, Pavel Sayekat a écrit : > > Is it possible to make an arm port of sage like Raspberry PI? > -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.