Yes, it works! Thanks again, Francois and Isuru.
Best regards, Darij On Thu, Mar 9, 2017 at 2:28 PM, Darij Grinberg <darijgrinb...@gmail.com> wrote: > Hi Francois, > > Aaaaah! I see now. I started compiling in my office, then it failed > and I tried fixing it via ssh. But I ran ssh on a different server. > Will try again from my office now. > > Best regards and thanks for solving the riddle, > Darij > > On Thu, Mar 9, 2017 at 2:22 PM, François Bissey > <francois.bis...@canterbury.ac.nz> wrote: >> On 10/03/17 09:18, Darij Grinberg wrote: >>> Hi, >>> >>> On Thu, Mar 9, 2017 at 2:16 PM, Isuru Fernando <isu...@gmail.com> wrote: >>>> Can you also attach the ntl log? >>> >>> Here it goes: https://dl.dropboxusercontent.com/u/83265276/ntl-10.1.0.log >>> >>> Best regards, >>> Darij >>> >> >> Sorry for the echo. Would you be using icecream? ntl and eclib have not >> been compiled on the same machine. >> NTL: >> Host system: >> Linux math-remote01 4.4.0-47-generic #68-Ubuntu SMP Wed Oct 26 19:39:52 >> UTC 2016 x86_64 x86_64 x86_64 GNU/Linux >> >> eclib >> Host system: >> Linux math-vinh203b-1 4.4.0-64-generic #85~14.04.1-Ubuntu SMP Mon Feb 20 >> 12:10:54 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux >> >> Francois >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/w3P3nRybj6E/unsubscribe. >> To unsubscribe from this group and all its topics, 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.
