This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][Ada] Use timeout for ACATS when available
- From: Laurent GUERBY <laurent at guerby dot net>
- To: "Joseph S. Myers" <joseph at codesourcery dot com>
- Cc: Arnaud Charlet <charlet at adacore dot com>, gcc-patches <gcc-patches at gcc dot gnu dot org>, Samuel Tardieu <sam at rfc1149 dot net>
- Date: Wed, 13 May 2009 21:18:50 +0200
- Subject: Re: [PATCH][Ada] Use timeout for ACATS when available
- References: <1242239500.20334.85.camel@localhost> <Pine.LNX.4.64.0905131905080.2441@digraph.polyomino.org.uk>
- Reply-to: laurent at guerby dot net
On Wed, 2009-05-13 at 19:06 +0000, Joseph S. Myers wrote:
> On Wed, 13 May 2009, Laurent GUERBY wrote:
>
> > On debian "apt-get install timeout" will install the optionally needed
> > software which is otherwise part of TCT (timeout source is about one
> > page of C):
> > http://www.porcupine.org/forensics/tct.html
>
> If you want to use a new piece of external software in the GCC build or
> test process, even conditionally, you should update doc/install.texi to
> describe what the software is used for.
Something like that? (I couldn't find any other "optional" software
entry in install.texi)
Laurent
* doc/install.texi: Add timeout.
Index: install.texi
===================================================================
--- install.texi (revision 147280)
+++ install.texi (working copy)
@@ -386,6 +386,12 @@
Necessary to run the GCC testsuite; see the section on testing for details.
+@item timeout
+
+Optional: used by Ada ACATS testsuite when present on the system in order
+to prevent multithreaded test failure to block the testsuite run. timeout
+is part of TCT @uref{http://www.porcupine.org/forensics/tct.html}.
+
@item autogen version 5.5.4 (or later) and
@itemx guile version 1.4.1 (or later)