On 7/28/20 2:57 PM, Andreas Schwab wrote:
I see some stuff about that (and check-gnat, too) in some of the makefile input files but it doesn't seem to do anything when I run configure (for all languages). Is there some configure option or environment variable I need to use? Is it documented somewhere?On Jul 28 2020, William Seurer wrote:There does not appear to be a check-gnat in any of the makefiles.See LANG_MAKEFRAGS.