$ gprinstall -P build-nucleo-int/BSPs/zfp_nucleo_f030r8.gpr -p
raised ADA.IO_EXCEPTIONS.DEVICE_ERROR : a-tigeli.adb:88
[/home/specing/opt/GNAT/2018-arm-elf/bin/gprinstall]
0x77cc7f ada__text_io__get_line__get_chunk.5476 at ???
0x77f715 ada__text_io__get_line at ???
Gprinstall.Install.Process.Open_Check_Manifest at gprinstall-install.adb:2953
Gprinstall.Install.Process at gprinstall-install.adb:3127
Gprinstall.Main at gprinstall-main.adb:988
Main at b__gprinstall-main.adb:739
[/lib64/libc.so.6]
0x3b556a21d08
[/home/specing/opt/GNAT/2018-arm-elf/bin/gprinstall]
0x40615f at ???
From Community 2018 ARM:
Latest from this repository:
I believe there is some cruft left over in the RTS installation directory as previous installs worked fine. No idea what broke.
Workaround: install somewhere else with --prefix and rsync into ~/opt/GNAT/2018-arm-elf.