Re: Install JIT headers

2019-01-28 Thread Andres Freund
On 2019-01-22 11:42:35 -0800, Andres Freund wrote: > 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 i

Re: Install JIT headers

2019-01-22 Thread David Fetter
On Tue, Jan 22, 2019 at 11:42:35AM -0800, Andres Freund wrote: > 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

Re: Install JIT headers

2019-01-22 Thread Andres Freund
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

Install JIT headers

2019-01-22 Thread Donald Dong
Hi, 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 --g