Bug#1067957: [EXTERNAL] Re: [[maude-bugs]] Maude fails to build on armhf

2024-04-09 Thread Sebastian Ramacher
Hi Steven On 2024-04-08 15:38:50 -0700, Steven Eker wrote: > Hi Nilish, > > I don't have a 32-bit machine to test on, but my understanding is that Linux > has moved to a 64-bit signed integer for time_t and this is a long long on > 32-bit machines which is explicitly not supported by GMP's C++

Bug#1067957: [EXTERNAL] Re: [[maude-bugs]] Maude fails to build on armhf

2024-04-08 Thread Steven Eker
Hi Nilish, I don't have a 32-bit machine to test on, but my understanding is that Linux has moved to a 64-bit signed integer for time_t and this is a long long on 32-bit machines which is explicitly not supported by GMP's C++ API. https://en.wikipedia.org/wiki/Year_2038_problem