Hello,

I'm getting the same "InternalError: Internal compiler error: 
'sage/ext/interrupt.pxi' not found" when trying to build sage 8.7 with the 
command ./sage -b on MacOS Mojave. This happens after I added a new folder 
in sage-8.7/src/sage.

As I understand it's deprecated, I replace
include "sage/ext/interrupt.pxi"
with
include "cysignals/signals.pxi"
in the new folder's file that causes the said error, then download and 
compile cysignal, but now get instead "Internal compiler error: 
'cysignals/signals.pxi' not found" when I try to build sage. Plus, I don't 
see signals.pxi anywhere. As a newbie, I think sage doesn't find this file. 
What do I still miss?

On Sunday, March 4, 2018 at 5:45:09 PM UTC, Paul Mercat wrote:
>
> You're right, I have found where I call sage/ext/interrupt.pxi and changed 
> it and now it works.
> The compiler gave no information on where is the problem. It's a little 
> bit annoying...
>
> Le dimanche 4 mars 2018 00:41:45 UTC+1, Dima Pasechnik a écrit :
>>
>>
>> On Saturday, March 3, 2018 at 5:19:37 PM UTC, Paul Mercat wrote:
>>>
>>>
>>> I'm trying to merge the ticket #21072 (that currently work with sage 
>>> 7.3) with sage 8.1, but I get the following error, and I don't know why and 
>>> what to do.
>>>
>>
>> I believe that this functionality is now handled by cygsignals package.
>> https://github.com/sagemath/cysignals
>>  
>>
>>>
>>> InternalError: Internal compiler error: 'sage/ext/interrupt.pxi' not 
>>> found
>>> ************************************************************************
>>> Error building the Sage library
>>> ************************************************************************
>>>
>>> Any idea ?
>>>
>>

-- 
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to