Package: gnat-4.6
Followup-For: Bug #717014
For the record, here are two sensible work-arounds:
* in linker options:
-Wl,--as-needed -lm -Wl,--no-as-needed
* in a GNAT project:
case External ("NEEDS_LM") is
when "yes" =>
for Library_Options use ("-lm");
when "no" =>
null;
end case;