Re: [sage-devel] Trouble compiling develop

2016-06-20 Thread Jeroen Demeyer
On 2016-06-20 12:19, 'Martin R' via sage-devel wrote: I am having trouble making sage. Am I missing something obvious? It's a server problem. I already sent an e-mail to sagemath-admins about this. -- You received this message because you are subscribed to the Google Groups "sage-devel" gr

[sage-devel] Trouble compiling develop

2016-06-20 Thread 'Martin R' via sage-devel
I am having trouble making sage. Am I missing something obvious? Martin make[1]: Verzeichnis »/home/martin/sage-master/build/make« wird betreten make base make[2]: Verzeichnis »/home/martin/sage-master/build/make« wird betreten sage-logger -p 'sage-spkg patch-2.7.5' '/home/martin/sage-master