From owner-freebsd-current@FreeBSD.ORG Sun Feb 15 06:37:28 2004 Return-Path: Delivered-To: freebsd-current@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 2532D16A4CE for ; Sun, 15 Feb 2004 06:37:28 -0800 (PST) Received: from nagual.pp.ru (pobrecita.freebsd.ru [194.87.13.42]) by mx1.FreeBSD.org (Postfix) with ESMTP id 76BE043D1F for ; Sun, 15 Feb 2004 06:37:27 -0800 (PST) (envelope-from ache@pobrecita.freebsd.ru) Received: from pobrecita.freebsd.ru (ache@localhost [127.0.0.1]) by nagual.pp.ru (8.12.10/8.12.10) with ESMTP id i1FEbQMO006995 for ; Sun, 15 Feb 2004 17:37:26 +0300 (MSK) (envelope-from ache@pobrecita.freebsd.ru) Received: (from ache@localhost) by pobrecita.freebsd.ru (8.12.10/8.12.10/Submit) id i1FEbQ5N006994 for current@freebsd.org; Sun, 15 Feb 2004 17:37:26 +0300 (MSK) (envelope-from ache) Date: Sun, 15 Feb 2004 17:37:25 +0300 From: Andrey Chernov To: current@freebsd.org Message-ID: <20040215143725.GA6778@nagual.pp.ru> Mail-Followup-To: Andrey Chernov , current@freebsd.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.5.1i Subject: RFC: Using -I/usr/include/gnu instead of X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 15 Feb 2004 14:37:28 -0000 I see many GNU program sources patched (and moved off the branch) just to change to I think it can be less painful, if we leave it as moving the file under /usr/include/gnu and use -I/usr/include/gnu in CFLAGS instead. The second reason is that GNU regex evolves, and additional directories appearse under it, like "posix". If we upgrade right now, we need to make unneded /usr/include/(gnu)?posix, but /usr/include/gnu/posix will looks much better. I plan to handle it, if no objections found. Any comments? -- Andrey Chernov | http://ache.pp.ru/