Re: [sage-devel] spamming patchbot sage4

2016-08-19 Thread Jeroen Demeyer
I created a ticket: https://trac.sagemath.org/ticket/21288 -- 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

Re: [sage-devel] spamming patchbot sage4

2016-08-19 Thread Thierry
Hi, i personally had the exact same issue. I solved it by removing the file $SAGE_ROOT/local/var/lib/sage/installed/bliss-0.73 and restart the compilation. Ciao, Thierry On Fri, Aug 19, 2016 at 10:05:18AM +0200, Jeroen Demeyer wrote: > On 2016-08-19 08:37, Ralf Stephan wrote: > >The sag

Re: [sage-devel] spamming patchbot sage4

2016-08-19 Thread Jeroen Demeyer
On 2016-08-19 08:37, Ralf Stephan wrote: The sage4 patchbot spams BuildFailed because of Fatal error: bliss/graph.hh: No such file or directory [sagelib-7.4.beta1] #include "bliss/graph.hh" It seems that bliss is not installed, but Sage thinks that it is installed. I wonder what could cause

[sage-devel] spamming patchbot sage4

2016-08-18 Thread Ralf Stephan
The sage4 patchbot spams BuildFailed because of Fatal error: bliss/graph.hh: No such file or directory [sagelib-7.4.beta1] #include "bliss/graph.hh" -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receivin