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
Attachment:
signature.asc
Description: PGP signature