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
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,
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 compile sage
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 it
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
over to
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 jpfl...@gmail.com wrote:
On Friday, September 12, 2014 11:15:19 AM UTC+2, bluescarni wrote:
What you want is called cross-compilation,
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
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
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
