From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 21016 invoked by alias); 4 Dec 2001 20:24:50 -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 20756 invoked from network); 4 Dec 2001 20:24:33 -0000 Received: from unknown (HELO alisier.wanadoo.fr) (193.252.19.55) by sources.redhat.com with SMTP; 4 Dec 2001 20:24:33 -0000 Received: from mahonia.wanadoo.fr (193.252.19.58) by alisier.wanadoo.fr; 4 Dec 2001 21:24:12 +0100 Received: from ulmo.localdomain (193.251.50.176) by mahonia.wanadoo.fr; 4 Dec 2001 21:21:25 +0100 Received: (from guerby@localhost) by ulmo.localdomain (8.11.6/8.11.6) id fB4KE2E30288; Tue, 4 Dec 2001 21:14:02 +0100 Date: Tue, 04 Dec 2001 12:24:00 -0000 Message-Id: <200112042014.fB4KE2E30288@ulmo.localdomain> X-Authentication-Warning: ulmo.localdomain: guerby set sender to guerby@acm.org using -f From: To: zack@codesourcery.com CC: bosch@gnat.com, minyard@acm.org, gcc@gcc.gnu.org In-reply-to: <20011204192241.GG19450@codesourcery.com> (message from Zack Weinberg on Tue, 4 Dec 2001 11:22:41 -0800) Subject: Re: Ada build now requires gnatmake? Reply-to: guerby@acm.org References: <3C0D1CAB.6090105@acm.org> <4DDC9261-E8EB-11D5-8627-00039344BF4A@gnat.com> <20011204192241.GG19450@codesourcery.com> X-SW-Source: 2001-12/txt/msg00155.txt.bz2 > My offer to rewrite the generator programs in C stands. No need to get there to remove the dependancy on gnatmake, you just need to write a few Makefile rules to get rid of it and do the thing on the host with only compiler and gnatbind available. I haven't bothered to offer a patch since a previous patch on this area on the Makefile hasn't been reviewed in a while (it was to make the tmp-dir a common target so that parallel build works, can't find the URL right now - I don't remember who submitted it). If people are ready to review patches in the area in a reasonable time frame I can submit one fixing the issue on short notice. -- Laurent Guerby