On Thu, 3 Dec 2020, Andreas Schwab wrote: > > .../gcc/gnatbind -x impbit.ali > > error: "s-imgllli.ali" not found, "s-imgllli.ads" must be compiled > > gnatmake: *** bind failed. > > **** Failed to compile impbit > > This means GNATRTL_128BIT_OBJS is missing from > EXTRA_GNATRTL_NONTASKING_OBJS.
Yep, I came to the same conclusion and that's what Matthias's commit ba97b5326048 fixed. Maciej