Re: [HACKERS] fmgroids.h not installed by make install in VPATH

2009-07-20 Thread Alvaro Herrera
Peter Eisentraut wrote: On Wednesday 08 July 2009 02:09:20 Alvaro Herrera wrote: It seems our makefiles fail to install fmgroids.h by make install in a VPATH build. I think the solution is to treat fmgroids.h just like pg_config_os.h, i.e. add a line like this: $(INSTALL_DATA)

Re: [HACKERS] fmgroids.h not installed by make install in VPATH

2009-07-20 Thread Alvaro Herrera
Peter Eisentraut wrote: On Wednesday 08 July 2009 02:09:20 Alvaro Herrera wrote: It seems our makefiles fail to install fmgroids.h by make install in a VPATH build. I think the solution is to treat fmgroids.h just like pg_config_os.h, i.e. add a line like this: $(INSTALL_DATA)

Re: [HACKERS] fmgroids.h not installed by make install in VPATH

2009-07-18 Thread Alvaro Herrera
Peter Eisentraut wrote: On Wednesday 08 July 2009 02:09:20 Alvaro Herrera wrote: It seems our makefiles fail to install fmgroids.h by make install in a VPATH build. I think the solution is to treat fmgroids.h just like pg_config_os.h, i.e. add a line like this: $(INSTALL_DATA)

Re: [HACKERS] fmgroids.h not installed by make install in VPATH

2009-07-17 Thread Peter Eisentraut
On Wednesday 08 July 2009 02:09:20 Alvaro Herrera wrote: It seems our makefiles fail to install fmgroids.h by make install in a VPATH build. I think the solution is to treat fmgroids.h just like pg_config_os.h, i.e. add a line like this: $(INSTALL_DATA) utils/fmgroids.h

[HACKERS] fmgroids.h not installed by make install in VPATH

2009-07-07 Thread Alvaro Herrera
Hi, It seems our makefiles fail to install fmgroids.h by make install in a VPATH build. The reason is that they do this (src/include/Makefile) for dir in $(SUBDIRS); do \ cp $(srcdir)/$$dir/*.h '$(DESTDIR)$(includedir_server)'/$$dir/ || exit; \ chmod $(INSTALL_DATA_MODE)