[Bug ada/66143] __gnat_set_executable insufficient for correct gprinstall

2015-12-06 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66143 Eric Botcazou changed: What|Removed |Added Target Milestone|6.0 |5.0 --- Comment #4 from Eric Botcazou -

[Bug ada/66143] __gnat_set_executable insufficient for correct gprinstall

2015-12-06 Thread jeditekunum at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66143 --- Comment #3 from jeditekunum at gmail dot com --- Apparently there is something significant that I am not understanding here. gprinstall is typically used to install a package for use system-wide in a directory like /opt/{something}. On any no

[Bug ada/66143] __gnat_set_executable insufficient for correct gprinstall

2015-12-06 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66143 Arnaud Charlet changed: What|Removed |Added CC||charlet at gcc dot gnu.org Reso

[Bug ada/66143] __gnat_set_executable insufficient for correct gprinstall

2015-12-06 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66143 Eric Botcazou changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED CC|