when I contacted Adacore abot this issue, I got the following answer: The way you are using gnatstub is correct, and I can confirm that it works for AdaCore products. But we cannot say anything for the GNAT versions built and distributed outside AdaCore.
Somehow the issue seems specific to the binary distributed in the ubuntu package. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1738133 Title: gnatstub fails to generate any Ada code To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/asis/+bug/1738133/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs