I don't have an immediate explanation coming to mind for this failure, but I would have to ask what you're trying to achieve with respect to this Dockerfile. Have you already had a look at the semi-official docker images I'm maintaining at https://github.com/sagemath/docker-images, and is there something you're trying to achieve that's different from what they do? Either way, perhaps it would make more sense to combine efforts than to duplicate them. One difference with your build I see is that you're trying to build sage using the binary-pkg build, which I'm not doing. But the Sage installation set up by the Dockerfiles I'm maintaining is working in general (though I'm still having problems with the patchbot image that I'm trying to work out...)
Best, Erik On Sun, Jul 2, 2017 at 8:14 PM, Sho Takemori <stakemo...@gmail.com> wrote: > Dear all, > > I use Amazon EC2 instance(c4.xlarge, OS: Ubuntu server 16.04) for building > Sage. Inside EC2 instance, I use docker with this Dockerfile > (https://github.com/stakemori/sage-docker-build/blob/master/Dockerfile). > Inside the docker container, OS is Ubuntu 17.04. Also I use binary-pkg for > building (branch is develop). Building Sage fails since building > ecm-7.0.4.p0 fails. Attached file is the log file. Oddly enough, if I > download ecm-7.0.4.tar.gz and compile it inside the docker container, then > compiling ecm-7.0.4 succeeds. Any help would be appreciated. > > Best regards, > Sho Takemori > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
