x86_64-linux-gnu-gnat-7 --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-7 --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-7
gnat chop x86_64-linux-gnu-gnatchop-7
gnat clean x86_64-linux-gnu-gnatclean-7
gnat compile x86_64-linux-gnu-gnatmake-7 -f -u -c
gnat check x86_64-linux-gnu-gnatcheck-7
gnat elim x86_64-linux-gnu-gnatelim-7
gnat find x86_64-linux-gnu-gnatfind-7
gnat krunch x86_64-linux-gnu-gnatkr-7
gnat link x86_64-linux-gnu-gnatlink-7
gnat list x86_64-linux-gnu-gnatls-7
gnat make x86_64-linux-gnu-gnatmake-7
gnat metric x86_64-linux-gnu-gnatmetric-7
gnat name x86_64-linux-gnu-gnatname-7
gnat preprocess x86_64-linux-gnu-gnatprep-7
gnat pretty x86_64-linux-gnu-gnatpp-7
gnat stack x86_64-linux-gnu-gnatstack-7
gnat stub x86_64-linux-gnu-gnatstub-7
gnat test x86_64-linux-gnu-gnattest-7
gnat xref x86_64-linux-gnu-gnatxref-7
Report bugs to report@adacore.com