[gps-users] GPS utilities

[André LAURENS]

It seems that GPS utilities are in advance on GNAT versions :

'edit -> generate body' issues GNAT command :
     gnat stub -P<project name> <ada spec file name> <directory name>
and the result is
     gnatstub: unknown option -P<project name>
Typing 'gnat stub -I<path to sources> <ada spec file name>' in a shell works 
fine

'edit -> pretty print' issues GNAT command :
     gnat pretty -P<project name> <ada file name>
and the result is
     gnat: Unknown command: pretty
Typing 'gnat pretty <ada file name>' in a shell has the same effect

Am I right considering that GPS relies on not yet implemented GNAT features or 
have I missed something when installing GPS or GNAT? 
Note I use GPS 1.2.2 with GNAT 3.15p on a Linux machine

Thanks in advance

-- 

André LAURENS
Division Ballons - Nacelles Pointées
DSO/ED/BA/NA - bpi 1901
Centres National d'Etudes Spatiales
18, avenue Edouard Belin
31401 TOULOUSE Cedex 9
tél. +33.5.61.27.46.42
labo +33.5.61.27.35.33
fax. +33.5.61.28.23.04
mail : andre.laurens@cnes.fr
web  : http://ballons.cnes.fr/nacelles_pointees