Re: [sage-devel] Downgrade rubiks to optional

2019-06-20 Thread Dima Pasechnik
This is now trac #28022 On Thu, Jun 20, 2019 at 4:44 AM William wrote: > > Also, +1 for optional. It only made sense to include by default in the > earlier days when it was unclear what Sage > would end up being. > > William > > On Wednesday, June 19, 2019 at 2:34:52 AM UTC-7, Emmanuel Charpen

Re: [sage-devel] Downgrade rubiks to optional

2019-06-19 Thread William
Also, +1 for optional. It only made sense to include by default in the earlier days when it was unclear what Sage would end up being. William On Wednesday, June 19, 2019 at 2:34:52 AM UTC-7, Emmanuel Charpentier wrote: > > Ditto : +1 for optional > > Le mercredi 19 juin 2019 09:44:33 UTC+2, vd

Re: [sage-devel] Downgrade rubiks to optional

2019-06-19 Thread Emmanuel Charpentier
Ditto : +1 for optional Le mercredi 19 juin 2019 09:44:33 UTC+2, vdelecroix a écrit : > > +1 for optional > > Le 19/06/2019 à 09:15, Dima Pasechnik a écrit : > > Sure, let us make it optional. > > > > On Wed, 19 Jun 2019 at 00:15, Isuru Fernando > wrote: > > > >> Hi, > >> > >> Rubiks pack

Re: [sage-devel] Downgrade rubiks to optional

2019-06-19 Thread Vincent Delecroix
+1 for optional Le 19/06/2019 à 09:15, Dima Pasechnik a écrit : Sure, let us make it optional. On Wed, 19 Jun 2019 at 00:15, Isuru Fernando wrote: Hi, Rubiks package is a combination of 3 packages with lots of patches to the build system Keeping it standard requires package managers to pac

Re: [sage-devel] Downgrade rubiks to optional

2019-06-19 Thread Dima Pasechnik
Sure, let us make it optional. On Wed, 19 Jun 2019 at 00:15, Isuru Fernando wrote: > Hi, > > Rubiks package is a combination of 3 packages with lots of patches to the > build system > > Keeping it standard requires package managers to package this strange > package of 3 packages and wastes time

Re: [sage-devel] Downgrade rubiks to optional

2019-06-18 Thread François Bissey
I totally split it in sage-on-gentoo and keep 3 separate tarballs on a mirror. François > On 19/06/2019, at 11:15 AM, Isuru Fernando wrote: > > Hi, > > Rubiks package is a combination of 3 packages with lots of patches to the > build system > > Keeping it standard requires package managers t

[sage-devel] Downgrade rubiks to optional

2019-06-18 Thread Isuru Fernando
Hi, Rubiks package is a combination of 3 packages with lots of patches to the build system Keeping it standard requires package managers to package this strange package of 3 packages and wastes time if nobody is using it. Users can use gap to solve the rubik's cube or install the rubiks spkg if