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: > > > > $(

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: > > > > $(

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: > > > > $(

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 '$(DEST

[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) '$(DES