Re: [patch] extensions_path GUC

On 10/23/2015 02:59 PM, Michael Paquier wrote:
> On Fri, Oct 23, 2015 at 7:46 PM, Heikki Linnakangas wrote:
>> On 10/23/2015 01:33 PM, Sandro Santilli wrote:
>> In short, I don't think just setting extensions_path is enough or desirable,
>> but I would welcome a patch that makes "make check" work for extensions, by
>> creating a temporary installation.
>
> Isn't that the existing EXTRA_INSTALL?

No. The problem is that "make check" doesn't work extensions built 
outside the server source tree. You get an error:

"make check" is not supported.
Do "make install", then "make installcheck" instead.

- Heikki