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

Hi,

Am Wed, Apr 10, 2024 at 03:33:53PM -0700 schrieb Steven Eker:
> I like that solution since I believe there are 64-bit platforms where long
> is 32-bits. I've updated my development version thus:
> 
>   //
>   //    timeValue.tv_sec is 64-bit since Linux kernel 5.6 but GMP doesn't
> yet have support
>   //    for long long which is a problem on platforms where long is less
> than 8 bytes.
>   //
> #if SIZEOF_LONG < 8
>   double seconds = timeValue.tv_sec;
> #else
>   long seconds = timeValue.tv_sec;
> #endif
>   mpz_class nanoSeconds(seconds);

Sounds like some working solution.  It would help if you could tag a new
released to enable us fetching a fresh tarball incorporatinig this
change.
 
> Of course I expect to drop support for 32-bit before 2038 - certainly when
> one our dependencies drops support. But I've gotten a bug report for
> building Maude on a Raspberry Pi.

Raspian is based on Debian and if the 32bit ARM architectures fail here
Raspian people have a problem.

Kind regards
   Andreas.