On Monday, September 15, 2014 12:30:06 PM UTC+2, mmarco wrote:
>
> I have purchased one of these boards:
>
>
> https://www.olimex.com/Products/OLinuXino/A20/A20-OLinuXino-LIME/open-source-hardware
>
> And plan to plug in it a ssd drive to allow fast swap space. I would like
> to use it to compi
I have purchased one of these boards:
https://www.olimex.com/Products/OLinuXino/A20/A20-OLinuXino-LIME/open-source-hardware
And plan to plug in it a ssd drive to allow fast swap space. I would like
to use it to compile sage for raspbian, but there is an issue: the
raspberry pi is ARMv6, wherea
And maybe I spoke too fast.
The build system of "Sage the distribution" is not smart enough for sure.
But I seem to remember you may be able to cross compile using lmonade.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this g
That's too bad. How about using distcc from the PI to leverage the
cross-compiler on the x86 machines though?
On 12 September 2014 11:57, Jean-Pierre Flori wrote:
>
>
> On Friday, September 12, 2014 11:15:19 AM UTC+2, bluescarni wrote:
>>
>> What you want is called "cross-compilation", and in ge
On Friday, September 12, 2014 11:15:19 AM UTC+2, bluescarni wrote:
>
> What you want is called "cross-compilation", and in general is a
> non-trivial thing to do. You have to set up a toolchain on your x86 boxes
> able to compile for ARM, use it to compile SAGE and finally move the binary
> ov
What you want is called "cross-compilation", and in general is a
non-trivial thing to do. You have to set up a toolchain on your x86 boxes
able to compile for ARM, use it to compile SAGE and finally move the binary
over to the Raspberry.
I mucked around with it on Gentoo a long time ago (I think i
Indeed it should basically work out of the box if you make some swap space
available (let's say 1 gbyte).
At least it used to do, possibly with a few trivial fixes (and I surely
opened tickets on trac for them, also see
http://trac.sagemath.org/wiki/ExoticPorts#RaspberryPirunningRaspbianarmv6wit
Hi,
thanks for the suggestion with the hard drive.
i might try that one.
how can i do the swap to disk thing?
never have done that.
btw i have more linux boxes but those are all 32 bit (x86) machines.
so i don't know how to do a compilation for armv6l on those.
maybe someone could tell me ho
It is theoretically possible, but you would need swap memory (the RAM of
the device is not enough), which would be very slow (i don'trecommend doing
it using the SD card as swap device, too much read/write for it), so go for
a USB hard drive. And even then, it will be quite slow (the USB port is