http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59853
Arnaud Charlet <charlet at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED CC| |charlet at gcc dot gnu.org Resolution|--- |INVALID --- Comment #6 from Arnaud Charlet <charlet at gcc dot gnu.org> --- Not having libgnat.a around is unexpected from gnatmake's point of view, so it cannot be considered as a bug, or rather, a bug in the linux distrib. Arno