[Bug ada/22601] New: GNAT Command lists many commands as available that are not

["jeff at thecreems dot com" <gcc-bugzilla at gcc dot gnu dot org>]

Typing the command "gnat" results in the following output (note this is Centos
4.1 but I am pretty sure this is not target specific) :

GNAT 3.4.3 20050227 (Red Hat 3.4.3-22.1) Copyright 1996-2004 Free Software Found
 ation, Inc.

List of available commands

GNAT BIND               gnatbind
GNAT CHOP               gnatchop
GNAT CLEAN              gnatclean
GNAT COMPILE            gnatmake -f -u -c
GNAT ELIM               gnatelim
GNAT FIND               gnatfind
GNAT KRUNCH             gnatkr
GNAT LINK               gnatlink
GNAT LIST               gnatls
GNAT MAKE               gnatmake
GNAT NAME               gnatname
GNAT PREPROCESS         gnatprep
GNAT PRETTY             gnatpp
GNAT STUB               gnatstub
GNAT XREF               gnatxref

Commands FIND, LIST, PRETTY, STUB and XREF accept project file switches -vPx, -P
 prj and -Xnam=val

Some of the commands that are listed as available commands are not really available:

%gnat elim
Couldn't locate gnatelim

%gnat pretty
Couldn't locate gnatpp

%gnat stub
Couldn't locate gnatstub

I think these are only available with the pro distribution of GNAT. 

Seems to still be the case in HEAD right now too (with possible addition of the
sub command metric).

Perhaps gnatcmd.adb should be updated so that it looks at some other file that
is already branched between the FSF sources and ACT and tailor the output to
only include those commands that are actually expected to be present.

-- 
           Summary: GNAT Command lists many commands as available that are
                    not
           Product: gcc
           Version: 3.4.3
            Status: UNCONFIRMED
          Severity: minor
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jeff at thecreems dot com
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22601