[Bug 1738133] Re: gnatstub fails to generate any Ada code

2018-05-08 Thread Nicolas Boulenguez
This looks like a duplicate of an existing Debian bug.
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810314


** Bug watch added: Debian Bug tracker #810314
   https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810314

-- 
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

[Bug 1738133] Re: gnatstub fails to generate any Ada code

2017-12-15 Thread Jean-Christophe Dubois
For the record, I downloaded the tar.gz version from adacore website
(http://mirrors.cdn.adacore.com/art/591c6d80c7a447af2deed1d7) and I don
not experiment this problem with it.

-- 
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

[Bug 1738133] Re: gnatstub fails to generate any Ada code

2017-12-14 Thread Jean-Christophe Dubois
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