Oh, one more thing: I cannot test whether the GMP-ECM and MPFR spkgs have the same problem (since they use GMP's / MPIR's CFLAGS
), i.e., also fail on such systems if ABI
isn't set. If you find the time, you could also check this by unsetting ABI
and reinstalling them (with ./sage -f ...
).
The new mpir spkg installs here on my 32-bit OS with 64-bit processor with ABI unset.
It also installed on an amd64 to which I have access. The ECM and MPFR spkgs reinstalled correctly with ABI unset on both the 32-bit and amd64 machines. A positive review here.