From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 8416 invoked by alias); 5 Dec 2001 23:41:00 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 8365 invoked from network); 5 Dec 2001 23:40:53 -0000 Received: from unknown (HELO mel-rti20.wanadoo.fr) (193.252.19.91) by sources.redhat.com with SMTP; 5 Dec 2001 23:40:53 -0000 Received: from mel-rta7.wanadoo.fr (193.252.19.61) by mel-rti20.wanadoo.fr; 6 Dec 2001 00:40:52 +0100 Received: from ulmo.localdomain (193.251.50.176) by mel-rta7.wanadoo.fr; 6 Dec 2001 00:40:26 +0100 Received: (from guerby@localhost) by ulmo.localdomain (8.11.6/8.11.6) id fB5NWnp00963; Thu, 6 Dec 2001 00:32:49 +0100 Date: Wed, 05 Dec 2001 15:41:00 -0000 Message-Id: <200112052332.fB5NWnp00963@ulmo.localdomain> X-Authentication-Warning: ulmo.localdomain: guerby set sender to guerby@acm.org using -f From: To: kenner@vlsi1.ultra.nyu.edu CC: gcc@gcc.gnu.org In-reply-to: <10112052323.AA26505@vlsi1.ultra.nyu.edu> (kenner@vlsi1.ultra.nyu.edu) Subject: Re: ACATS legal status cleared by FSF Reply-to: guerby@acm.org References: <10112052323.AA26505@vlsi1.ultra.nyu.edu> X-SW-Source: 2001-12/txt/msg00250.txt.bz2 > Another quetsion is what compilation options do we run them with? I assume you talk about the mode everyone will be forced to run before commit as part of the standard procedure once Ada is first class citizen in GCC? ACATS at -O0 is 32 minutes on a P3 1GHz to be compared to 25 minutes for C only make check and 45 minutes for c,c++,f77 (which does run each test 4 or 5 times with different flags IIRC). I assume -O2 won't take much longer (I did run it, but don't have the timings handy). I'll do a breakdown by chapter / by -O level in the next few days. I have no opinion on the topic, everything is possible depending on how much time we want the standard check to last on an average machine. The harness must support easy flag configuration anyway. -- Laurent Guerby