[sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-10 Thread Matthias Koeppe
On Friday, July 10, 2020 at 1:08:20 AM UTC-7, Jaap Spies wrote: > > We need a port of sagemath to Raspbery Pi OS. > Using https://trac.sagemath.org/ticket/29091, developers can do portability testing on this platform without need for access to an actual raspberry pi. tox -e docker-raspbian-bus

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-10 Thread Jaap Spies
Raspberry Pi OS is the new name of raspbian. And indeed raspbian uses apt to deal with packages, but have their own repositories based on debian On Friday, July 10, 2020 at 11:22:30 AM UTC+2, Dima Pasechnik wrote: > > On Fri, Jul 10, 2020 at 10:11 AM Dima Pasechnik > wrote: > > > > On Fri, Ju

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-10 Thread Jaap Spies
No On Friday, July 10, 2020 at 11:22:30 AM UTC+2, Dima Pasechnik wrote: > > On Fri, Jul 10, 2020 at 10:11 AM Dima Pasechnik > wrote: > > > > On Fri, Jul 10, 2020 at 9:08 AM Jaap Spies > wrote: > > > > > > After this technicalities I reclaim my points: We need a port of > sagemath to Raspber

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-10 Thread Dima Pasechnik
On Fri, Jul 10, 2020 at 10:11 AM Dima Pasechnik wrote: > > On Fri, Jul 10, 2020 at 9:08 AM Jaap Spies wrote: > > > > After this technicalities I reclaim my points: We need a port of sagemath > > to Raspbery Pi OS. As far as I see, it is https://www.raspberrypi.org/downloads/raspberry-pi-desktop

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-10 Thread Dima Pasechnik
On Fri, Jul 10, 2020 at 9:08 AM Jaap Spies wrote: > > After this technicalities I reclaim my points: We need a port of sagemath to > Raspbery Pi OS. > At least we need a binary of sagemath for Raspberry Pi OS. the binaries are made using https://github.com/sagemath/binary-pkg Could you try this

[sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-10 Thread Jaap Spies
After this technicalities I reclaim my points: We need a port of sagemath to Raspbery Pi OS. At least we need a binary of sagemath for Raspberry Pi OS. Jaap Spies On Thursday, July 9, 2020 at 2:31:52 PM UTC+2, Jaap Spies wrote: > > Saying Raspberry Pi is saying education. There are zillion Raspb

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-09 Thread Dima Pasechnik
On Thu, Jul 9, 2020 at 10:30 PM Isuru Fernando wrote: > > You can track the progress here, > https://github.com/conda-forge/sagelib-feedstock/pull/100 > > Gap and rpy2 are now available. Need to build rw 0.7 now. Is there a reason > for not going to rw 0.8 in sage? I couldn't find a trac ticket

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-09 Thread Isuru Fernando
You can track the progress here, https://github.com/conda-forge/sagelib-feedstock/pull/100 Gap and rpy2 are now available. Need to build rw 0.7 now. Is there a reason for not going to rw 0.8 in sage? I couldn't find a trac ticket for it. Isuru On Thu, Jul 9, 2020 at 11:14 AM Dima Pasechnik wrot

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-09 Thread Dima Pasechnik
On Thu, 9 Jul 2020, 17:07 Isuru Fernando, wrote: > Hi, > > In conda-forge, we have all the dependencies of sage for aarch64 already > built except for gap and rpy2. > If those two are done, we can build sage the library and you can use > conda-forge to install a binary version of sage. > Any help

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-09 Thread Isuru Fernando
Hi, In conda-forge, we have all the dependencies of sage for aarch64 already built except for gap and rpy2. If those two are done, we can build sage the library and you can use conda-forge to install a binary version of sage. Any help is appreciated. Isuru On Thu, Jul 9, 2020 at 9:09 AM Jaap Spi

[sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-09 Thread Jaap Spies
Done. On Thursday, July 9, 2020 at 3:58:20 PM UTC+2, Matthias Koeppe wrote: > > On Thursday, July 9, 2020 at 5:31:52 AM UTC-7, Jaap Spies wrote: >> >> ... Raspberry Pi ... >> > > https://trac.sagemath.org/ticket/29091, which adds test infrastructure > for raspbian-buster, still needs review. >

[sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-09 Thread Matthias Koeppe
On Thursday, July 9, 2020 at 5:31:52 AM UTC-7, Jaap Spies wrote: > > ... Raspberry Pi ... > https://trac.sagemath.org/ticket/29091, which adds test infrastructure for raspbian-buster, still needs review. -- You received this message because you are subscribed to the Google Groups "sage-deve