On 2020-06-13 14:40:55 -0300, Henrique de Moraes Holschuh wrote:
> On Sat, 13 Jun 2020, Vincent Lefevre wrote:
> > There are new versions upstream.
>
> Yes, and they revert the existence of arch "x32". Last time I asked for
> help, nobody remotely interested in x32 answered.
Thanks for the information. I didn't know that.
After looking at the diff, it seems that the change is minimal:
x86_64:Linux:*:*)
- if objdump -f /bin/sh | grep -q elf32-x86-64; then
- echo "$UNAME_MACHINE"-pc-linux-"$LIBC"x32
- else
- echo "$UNAME_MACHINE"-pc-linux-"$LIBC"
- fi
+ echo "$UNAME_MACHINE"-pc-linux-"$LIBC"
exit ;;
But I might miss something (and I don't use x32 myself).
> I am seriously considering uploading it and effectively removing x32
> support from Debian.
This probably needs to be discussed and see what other distributions
do.
I got a suggestion to use the more recent upstream versions for the
next MPFR release. So in the mean time, I will stick with Debian's.
--
Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
