Re: [sage-devel] Supported platforms - once again

2010-10-30 Thread Mitesh Patel
On 10/27/2010 08:26 PM, Mitesh Patel wrote: On 10/27/2010 08:43 AM, Dr. David Kirkby wrote: 1) Despite previously claiming in README.txt that we supported Fedora 32-bit on x86, the only host with Fedora 32-bit, http://build.sagemath.org/sage/buildslaves/cicero-1 has never had a successful

Re: [sage-devel] Supported platforms - once again

2010-10-27 Thread Dr. David Kirkby
On 10/25/10 05:05 PM, John Cremona wrote: Your suggestions all look very sensible to me -- go for it (provided several other people agree, of course). John Well several others did agree, with very few negative comments, so I have gone ahead and done this. There was already a page listing

Re: [sage-devel] Supported platforms - once again

2010-10-27 Thread Mitesh Patel
On 10/27/2010 08:43 AM, Dr. David Kirkby wrote: 1) Despite previously claiming in README.txt that we supported Fedora 32-bit on x86, the only host with Fedora 32-bit, http://build.sagemath.org/sage/buildslaves/cicero-1 has never had a successful build and test. 2) Despite previously

[sage-devel] Supported platforms - once again

2010-10-25 Thread David Kirkby
As has been remarked before, Sage has number lists of supported platforms, no two of which agree with each other. I proposed some time ago we break the list into 3 1) Fully supported - every Sage release is tested on it. 2) Expected to work 3) Probably will not work, but porting work in ongoing

Re: [sage-devel] Supported platforms - once again

2010-10-25 Thread John Cremona
Your suggestions all look very sensible to me -- go for it (provided several other people agree, of course). John On Mon, Oct 25, 2010 at 3:09 PM, David Kirkby david.kir...@onetel.net wrote: As has been remarked before, Sage has number lists of supported platforms, no two of which agree with

Re: [sage-devel] Supported platforms - once again

2010-10-25 Thread Gonzalo Tornaria
On Mon, Oct 25, 2010 at 12:09 PM, David Kirkby david.kir...@onetel.net wrote: Since Minh has been using an external server (I think run by GNU) for Debian, we can probably add Debian at some point if we can get permission to run a buildbot slave there. 1. Is there a reason for not running

Re: [sage-devel] Supported platforms - once again

2010-10-25 Thread David Kirkby
On 25 October 2010 17:26, Gonzalo Tornaria torna...@math.utexas.edu wrote: On Mon, Oct 25, 2010 at 12:09 PM, David Kirkby david.kir...@onetel.net wrote: Since Minh has been using an external server (I think run by GNU) for Debian, we can probably add Debian at some point if we can get

Re: [sage-devel] Supported platforms - once again

2010-10-25 Thread Robert Bradshaw
On Mon, Oct 25, 2010 at 7:09 AM, David Kirkby david.kir...@onetel.net wrote: As has been remarked before, Sage has number lists of supported platforms, no two of which agree with each other. I proposed some time ago we break the list into 3 1) Fully supported - every Sage release is tested

Re: [sage-devel] Supported platforms - once again

2010-10-25 Thread Mitesh Patel
On 10/25/2010 11:55 AM, David Kirkby wrote: On 25 October 2010 17:26, Gonzalo Tornaria torna...@math.utexas.edu wrote: On Mon, Oct 25, 2010 at 12:09 PM, David Kirkby david.kir...@onetel.net wrote: Since Minh has been using an external server (I think run by GNU) for Debian, we can probably