Hi Mark, Mark H Weaver <m...@netris.org> skribis:
> "Ludovic Courtès" <l...@gnu.org> writes: >> commit cc2948aa3189b7bd29c23e7a93ccb1217a1b4eff >> Author: Ludovic Courtès <l...@gnu.org> >> Date: Wed Feb 27 20:07:12 2013 +0100 >> >> Recognize mips64* as having 32-bit pointers by default. >> >> * module/system/base/target.scm (cpu-word-size): Consider MIPS64 to >> default to n32 or o32. > [...] > > This seems questionable to me. It may currently be the case that N32 > and O32 are more common, but that is unlikely to remain the case for > much longer. > > Is there any way to specify the N64 ABI for MIPS? There’s *-gnuabi64 as shown in one of these commits, though it’s up to the tools to interpret it as we want (GCC, Binutils, Guile, etc.) Currently, it seems that GCC & co. don’t support it (GCC has a ‘--with-abi’ configure flag.) Ludo’.
