https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85007
--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > The multilib switch (-m32 -- which is undocumented as being valid for > gnatmake incidentally) Well, like the dozens of -f and -m switches accepted by the compiler and documented in the GCC manual. What would be the point of duplicating that? > It should be noted that at the top of the b~driver.ali file generated are > the following lines: > > V "GNAT Lib v7" > A -gnatA > A -gnatWb > A -gnatiw > A -g > A -gnatws > A -mtune=nehalem > A -march=x86-64 > P ZX > > As noted in the OP, my --with-tune=nehalem explains that line, but the > -march line shouldn't be appearing if --RTS=32 is being passed, correct? Yes, something appears misconfigured. Here's what I have: eric@polaris:~> ~/install/gcc-7-branch/bin/gnatmake p -m32 gcc -c -m32 --RTS=32 p.adb gnatbind --RTS=32 -x p.ali gnatlink p.ali -m32 eric@polaris:~> cat p.ali V "GNAT Lib v7" M P W=b A -m32 A --RTS=32 P ZX [...] eric@polaris:~> file p p: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, for GNU/Linux 3.0.0, not stripped eric@polaris:~> ~/install/gcc-7-branch/bin/gnatmake --version GNATMAKE 7.3.1 20180316 [gcc-7-branch revision 258591] Copyright (C) 1995-2017, Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.