Re: Install JIT headers

Hi,

On 2019-01-22 11:08:40 -0800, Donald Dong wrote:
> In the standard_planner, we set the proper JIT flags on the resulting
> PlannedStmt node. We also offered a planer hook so extensions can
> add customized planners. The JIT flags in jit/jit.h however, is
> not present on the system. I think it's probably better to
> install the jit headers?
>
>
> diff --git a/src/include/Makefile b/src/include/Makefile
> index 6bdfd7db91..041702809e 100644
> --- a/src/include/Makefile
> +++ b/src/include/Makefile
> @@ -19,7 +19,7 @@ all: pg_config.h pg_config_ext.h pg_config_os.h
> # Subdirectories containing installable headers
> SUBDIRS = access bootstrap catalog commands common datatype \
> executor fe_utils foreign \
> - lib libpq mb nodes optimizer parser partitioning postmaster \
> + jit lib libpq mb nodes optimizer parser partitioning postmaster \
> regex replication rewrite \
> statistics storage tcop snowball snowball/libstemmer tsearch \
> tsearch/dicts utils port port/atomics port/win32 port/win32_msvc \

Seems like a good idea. I think we ought to backpatch that to 11? Will
do tomorrow if nobody protests.

Greetings,

Andres Freund