Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Nathan Dunfield
On Sunday, April 29, 2018 at 4:55:35 AM UTC-5, Erik Bray wrote: > > Yep, SAGE_FAT_BINARY=yes is what did it. I'll look into it further. > Erik, Thanks! I just confirmed that setting SAGE_FAT_BINARY to "no" fixes the problem on my machine as well. Nathan -- You received this message

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 11:55 AM, Erik Bray wrote: > On Sun, Apr 29, 2018 at 11:47 AM, Erik Bray wrote: >> On Sun, Apr 29, 2018 at 11:02 AM, Erik Bray wrote: >>> On Sun, Apr 29, 2018 at 10:53 AM, Erik Bray

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 11:47 AM, Erik Bray wrote: > On Sun, Apr 29, 2018 at 11:02 AM, Erik Bray wrote: >> On Sun, Apr 29, 2018 at 10:53 AM, Erik Bray wrote: >>> On Sun, Apr 29, 2018 at 4:40 AM, Nathan Dunfield

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 11:02 AM, Erik Bray wrote: > On Sun, Apr 29, 2018 at 10:53 AM, Erik Bray wrote: >> On Sun, Apr 29, 2018 at 4:40 AM, Nathan Dunfield >> wrote: >>> On Saturday, April 28, 2018 at 7:41:49 PM UTC-5, Erik

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 10:53 AM, Erik Bray wrote: > On Sun, Apr 29, 2018 at 4:40 AM, Nathan Dunfield wrote: >> On Saturday, April 28, 2018 at 7:41:49 PM UTC-5, Erik Bray wrote: >>> >>> I just finished a full build from scratch on Ubuntu 18.04 and it

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-29 Thread Erik Bray
On Sun, Apr 29, 2018 at 4:40 AM, Nathan Dunfield wrote: > On Saturday, April 28, 2018 at 7:41:49 PM UTC-5, Erik Bray wrote: >> >> I just finished a full build from scratch on Ubuntu 18.04 and it went >> fine. This was of 8.2.rc4. >> >> I don't recall off the top of my head

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-28 Thread Nathan Dunfield
On Saturday, April 28, 2018 at 7:41:49 PM UTC-5, Erik Bray wrote: > > I just finished a full build from scratch on Ubuntu 18.04 and it went > fine. This was of 8.2.rc4. > > I don't recall off the top of my head whether anything changed between > rc1 and rc4 that might have effected this, but

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-28 Thread Erik Bray
I just finished a full build from scratch on Ubuntu 18.04 and it went fine. This was of 8.2.rc4. I don't recall off the top of my head whether anything changed between rc1 and rc4 that might have effected this, but you might try bumping a rc4 just in case. On Sun, Apr 29, 2018 at 1:03 AM, Erik

Re: [sage-devel] Sage 8.2rc1 and Ubuntu 18.04: ecm fails to build

2018-04-28 Thread Erik Bray
Thanks for the report--I have yet to try doing anything on Ubuntu 18.04, but I'll try it now and see if I get the same. On Sat, Apr 28, 2018 at 5:47 AM, Nathan Dunfield wrote: > Dear Sage folks, > > I tried building Sage 8.2rc1 on a clean Docker container running the newly