bug report
for building Maude on a Raspberry Pi.
Steven
On 4/10/24 14:59, Aaron M. Ucko wrote:
Steven Eker writes:
This is harmless on 64-bit architectures since Index will be a signed
64-bit integer and if it works on 32-bit architectures, it's a work
around until GMP is fixed (hopefully bef
;
This is harmless on 64-bit architectures since Index will be a signed
64-bit integer and if it works on 32-bit architectures, it's a work
around until GMP is fixed (hopefully before 2038).
Steven
On 4/9/24 00:01, Sebastian Ramacher wrote:
Hi Steven
On 2024-04-08 15:38:50 -0700, 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
3 matches
Mail list logo