Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtp (Exim 4.80) (envelope-from ) id 1UpLxn-0001NQ-85 for pgsql-hackers@arkaria.postgresql.org; Wed, 19 Jun 2013 17:14:31 +0000 Received: from localhost ([127.0.0.1] helo=postgresql.org) by malur.postgresql.org with smtp (Exim 4.80) (envelope-from ) id 1UpLxm-0006l1-Fo for pgsql-hackers@arkaria.postgresql.org; Wed, 19 Jun 2013 17:14:30 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtp (Exim 4.80) (envelope-from ) id 1UpLxg-0006bb-5C for pgsql-hackers@postgresql.org; Wed, 19 Jun 2013 17:14:24 +0000 Received: from eisentraut.org ([85.214.91.16] helo=gattler.pezone.net) by magus.postgresql.org with esmtp (Exim 4.80) (envelope-from ) id 1UpLxe-000096-2A for pgsql-hackers@postgresql.org; Wed, 19 Jun 2013 17:14:23 +0000 Received: from jesse.mybdev.com (unknown [204.145.120.11]) by gattler.pezone.net (Postfix) with ESMTPSA id 45D775A8366; Wed, 19 Jun 2013 17:14:21 +0000 (UTC) Message-ID: <51C1E6E3.3040900@gmx.net> Date: Wed, 19 Jun 2013 13:14:11 -0400 From: Peter Eisentraut User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:17.0) Gecko/20130509 Thunderbird/17.0.6 MIME-Version: 1.0 To: Andrew Dunstan CC: cedric@2ndquadrant.com, pgsql-hackers@postgresql.org, Craig Ringer Subject: Re: Bugfix and new feature for PGXS References: <201306181552.36673.cedric@2ndquadrant.com> <1371610091.13762.20.camel@vanquo.pezone.net> <201306191155.13232.cedric@2ndquadrant.com> <51C1BB02.8050908@gmx.net> <51C1BDF9.5010004@dunslane.net> <51C1CDB1.3030306@gmx.net> <51C1DA3B.6030602@dunslane.net> In-Reply-To: <51C1DA3B.6030602@dunslane.net> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Pg-Spam-Score: -1.9 (-) List-Archive: List-Help: List-ID: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: X-Mailing-List: pgsql-hackers Precedence: bulk Sender: pgsql-hackers-owner@postgresql.org On 6/19/13 12:20 PM, Andrew Dunstan wrote: > So you're saying to install extension headers, but into the main > directory where we put server headers? Yes, if we choose to install some extension headers, that is where we should put them. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers