[m-rev.] for post-commit review: report unqualified types in .int files

[Dirk Ziegemeyer]

> Am 10.10.2020 um 10:00 schrieb Zoltan Somogyi <zoltan.somogyi at runbox.com>:
> 
> 
> 2020-10-10 18:45 GMT+11:00 "Dirk Ziegemeyer" <dirk at ziegemeyer.de>:
>> thank you for fixing the error message.
> 
> You are welcome.
> 
>> mercury_memory_handlers.c:64:6: error: "MR_HAVE_SIGINFO defined but don't know how to get it"
>>    #error "MR_HAVE_SIGINFO defined but don't know how to get it"
>>     ^
>> mercury_memory_handlers.c:83:6: error: "MR_HAVE_SIGINFO defined but don't know how to get it"
>>    #error "MR_HAVE_SIGINFO defined but don't know how to get it"
>>     ^
>> mercury_memory_handlers.c:270:41: error: use of undeclared identifier 'bus_handler'
>>    MR_setup_signal(SIGBUS, (MR_Code *) bus_handler, MR_TRUE,
>>                                        ^
>> mercury_memory_handlers.c:273:42: error: use of undeclared identifier 'segv_handler'
>>    MR_setup_signal(SIGSEGV, (MR_Code *) segv_handler, MR_TRUE,
> 
> It seems that mercury_memory_handlers.c expects MR_HAVE_SIGINFO to be set
> in a small set of circumstances, as indicated by the #ifs nested inside #ifdef MR_HAVE_SIGINFO,
> but configure.ac sets MR_HAVE_SIGINFO in more circumstances than that. It looks like
> mercury_memory_handlers.c was not updated when configure.ac was.
> 
> Peter, you wrote most of the configure.ac lines that mention MR_HAVE_SIGINFO,
> and you also touched them most recently, so could you please have a look at this?
> 
>> Is this any known issue?
> 
> Not by me.
> 
>> I never used the install option „--disable-most-grades“ before. (on Mac OS Catalina 10.15.7)
> 
> Have Apple fixed the problems that plagued Catalina when it came out? I have held back from
> upgrading my iMac partly because of them (and partly because I want to know for sure that
> I can switch off Siri permanently).

I'm very reluctant to upgrading MacOS because of these reasons. This time the occasion to freshly install Catalina on my old machine was that my new one with High Sierra went to repair because of a keyboard issue. I switched off Siri. Everything else works well.

Installing Mercury-srcdist-20.06 was successful on the freshly installed Catalina a few weeks ago. Installing it now (with a different --prefix) causes the same error as installing the latest rotd. Maybe I messed something up or the latest OS updates cause the error.

Installing the rotd-2020-10-09 on the other machine with MacOS High Sierra 10.13.6 seems to work (still running, but did't abort yet).

Dirk