Re: Run a single ada test

2020-07-31 Thread Eric Botcazou
> I see check-gnat in some of the makefile input files but I do not see it > in the ones that are built. Is there something needed to specify when > configure is run to get it included? No, this works with some generic magic like for gcc; g++, gfortran and so on. -- Eric Botcazou

Re: Run a single ada test

2020-07-31 Thread William Seurer via Gcc
On 7/31/20 7:57 AM, Eric Botcazou wrote: Is there a way to run a single ada test? The documentation mentions hows to "run a subset of the tests by specifying which chapter to run" but not individual tests. I tried this (and some variations) make -k check-ada RUNTESTFLAGS=gnat.e

Re: Run a single ada test

2020-07-31 Thread Eric Botcazou
> Is there a way to run a single ada test? The documentation mentions hows to > "run a subset of the tests by specifying which chapter to run" but not > individual tests. I tried this (and some variations) > > make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.ad

Re: Run a single ada test

2020-07-29 Thread William Seurer via Gcc
On 7/28/20 2:57 PM, Andreas Schwab wrote: On Jul 28 2020, William Seurer wrote: There does not appear to be a check-gnat in any of the makefiles. See LANG_MAKEFRAGS. 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

Re: Run a single ada test

2020-07-28 Thread Andreas Schwab
On Jul 28 2020, William Seurer wrote: > There does not appear to be a check-gnat in any of the makefiles. See LANG_MAKEFRAGS. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."

Re: Run a single ada test

2020-07-28 Thread William Seurer via Gcc
On 7/28/20 12:04 PM, Andreas Schwab wrote: On Jul 28 2020, William Seurer wrote: Thanks.  That did run the specific test I wanted BUT also ran thousands more. The acats testsuite doesn't respect RUNTESTFLAGS (it doesn't use the dejagnu framework). If you only want to run the gnat testsuite, u

Re: Run a single ada test

2020-07-28 Thread Andreas Schwab
On Jul 28 2020, William Seurer wrote: > Thanks.  That did run the specific test I wanted BUT also ran thousands > more. The acats testsuite doesn't respect RUNTESTFLAGS (it doesn't use the dejagnu framework). If you only want to run the gnat testsuite, use check-gnat. Andreas. -- Andreas Schw

Re: Run a single ada test

2020-07-28 Thread Rainer Orth
William Seurer via Gcc writes: > On 7/28/20 9:48 AM, Andreas Schwab wrote: >> On Jul 28 2020, William Seurer via Gcc wrote: >> >>> make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb >> gnat.exp isn't a testsuite driver, it's a lib file. You want to use >> dg.exp instead. > > > Thanks.  T

Re: Run a single ada test

2020-07-28 Thread William Seurer via Gcc
On 7/28/20 9:48 AM, Andreas Schwab wrote: On Jul 28 2020, William Seurer via Gcc wrote: make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb gnat.exp isn't a testsuite driver, it's a lib file. You want to use dg.exp instead. Thanks.  That did run the specific test I wanted BUT also r

Re: Run a single ada test

2020-07-28 Thread Andreas Schwab
On Jul 28 2020, William Seurer via Gcc wrote: > make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb gnat.exp isn't a testsuite driver, it's a lib file. You want to use dg.exp instead. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552

Run a single ada test

2020-07-28 Thread William Seurer via Gcc
Is there a way to run a single ada test?  The documentation mentions hows to "run a subset of the tests by specifying which chapter to run" but not individual tests.  I tried this (and some variations) make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb but it ran a whole bunc