[sage-devel] Re: Is it possible to make an arm port of sage?

[Pavel Sayekat]

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?

[Dima Pasechnik]

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?

[aishen]

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?

[William Stein]

> 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?

[aishen]

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?

[Volker Braun]

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?

[William Stein]

> 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?

[aishen]

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.