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

Control: severity -1 wishlist

Hi,

maude has been -rm'ed on 32-bit archs as per https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1068766
So this issue is now moot and I am downgrading the severity.

On Thu, Apr 11, 2024 at 07:53:08AM +0200, Andreas Tille wrote:
> 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. 
> 
> -- 
> https://fam-tille.de
> 
Best,
Nilesh

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQSglbZu4JAkvuai8HIqJ5BL1yQ+2gUCZhjspAAKCRAqJ5BL1yQ+
2v4bAP909kLyisIWJ00O0lugBuFB/jFXVTLSbl/jR4fJiAp2kAD/U6nc5Lnzv7lR
B0e+cmyfOAtBSqsS8LDhWidwoHUiRwQ=
=x8sj
-----END PGP SIGNATURE-----