(In reply to Tom de Vries from comment #3) > The solution for the compilation error with gcc-PIE not installed is to > teach gnatlink to include libgnat_pic.a for -pie. > Filed upstream PR87936 - "gnatlink fails with -pie" ( https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87936 ).