Re: Put genbki.pl output into src/include/catalog/ directly

2024-03-13 Thread Peter Eisentraut
On 14.03.24 02:33, Andreas Karlsson wrote: On 3/13/24 12:41 PM, Andreas Karlsson wrote: On 2/8/24 8:58 AM, Peter Eisentraut wrote: I think keeping the two build systems aligned this way will be useful for longer-term maintenance. Agreed, so started reviewing the patch. Attached is a rebased v

Re: Put genbki.pl output into src/include/catalog/ directly

2024-03-13 Thread Andreas Karlsson
On 3/13/24 12:41 PM, Andreas Karlsson wrote: On 2/8/24 8:58 AM, Peter Eisentraut wrote: I think keeping the two build systems aligned this way will be useful for longer-term maintenance. Agreed, so started reviewing the patch. Attached is a rebased version of the patch to solve a conflict.

Re: Put genbki.pl output into src/include/catalog/ directly

2024-03-13 Thread Andreas Karlsson
On 2/8/24 8:58 AM, Peter Eisentraut wrote: I think keeping the two build systems aligned this way will be useful for longer-term maintenance. Agreed, so started reviewing the patch. Attached is a rebased version of the patch to solve a conflict. AndreasFrom 2069c6d6e2ef2bc37c5af0df12c558ead8

Re: Put genbki.pl output into src/include/catalog/ directly

2024-02-08 Thread Tom Lane
Peter Eisentraut writes: > With the makefile rules, the output of genbki.pl was written to > src/backend/catalog/, and then the header files were linked to > src/include/catalog/. > This patch changes it so that the output files are written directly to > src/include/catalog/. Didn't read the pat