x86_64-linux-gnu-gnat --version (return code: 0)
GNAT 7.2.0
Copyright (C) 1996-2017, Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
x86_64-linux-gnu-gnat --help (return code: 0)
GNAT 7.2.0
Copyright 1996-2017, Free Software Foundation, Inc.
List of available commands
gnat bind x86_64-linux-gnu-gnatbind
gnat chop x86_64-linux-gnu-gnatchop
gnat clean x86_64-linux-gnu-gnatclean
gnat compile x86_64-linux-gnu-gnatmake -f -u -c
gnat check x86_64-linux-gnu-gnatcheck
gnat elim x86_64-linux-gnu-gnatelim
gnat find x86_64-linux-gnu-gnatfind
gnat krunch x86_64-linux-gnu-gnatkr
gnat link x86_64-linux-gnu-gnatlink
gnat list x86_64-linux-gnu-gnatls
gnat make x86_64-linux-gnu-gnatmake
gnat metric x86_64-linux-gnu-gnatmetric
gnat name x86_64-linux-gnu-gnatname
gnat preprocess x86_64-linux-gnu-gnatprep
gnat pretty x86_64-linux-gnu-gnatpp
gnat stack x86_64-linux-gnu-gnatstack
gnat stub x86_64-linux-gnu-gnatstub
gnat test x86_64-linux-gnu-gnattest
gnat xref x86_64-linux-gnu-gnatxref
Report bugs to report@adacore.com