Re: Problem with GPS and Generating Body from Spec

[Anh Vo <anhvofrcaus@gmail.com>]

On Friday, June 5, 2015 at 1:13:31 PM UTC-7, Laurent wrote:
> Hi
> 
> I tried to use the function from the GPS's Edit Menu: Generate Body. I get a progress bar at the right
> upper corner but then nothing. 
> I found that the tool required for this is gnatstub. It is checked in the configuration and I found it is sitting at the right place. 
> Tried to use it from the command line but too many options to figure out by myself how to get it to work. 
> I use gnat-gpl 2014. 
> I remember having used it before with gnat-gpl 2013 and there it worked. 
> Any idea whats wrong or how to use it from the terminal?
 

It worked for me even on Windows.

Anh Vo