Re: Patch to trigger make $(BUILT_SOURCES) from make install-exec

Sure! Please find the test case attached. All you have to do is to launch these two commands **from the clean package** to see that they will not work: ./bootstrap make DESTDIR=~/libfoo-install-test install-exec If you replace install-exec with install everything will work well instead.

Re: Patch to trigger make $(BUILT_SOURCES) from make install-exec

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=43683 Thanks much for the report and patch. Looks sensible. Can you provide a test case (example configure.ac + Makefile.am + tree) that exposes the problem (and thus verifies the patch)? Thanks again, Karl

Patch to trigger make $(BUILT_SOURCES) from make install-exec

Today I have reported a bug at bug-autom...@gnu.org (see bug #43683 – please use this link for a better rendering of the HTML). However I have written in the meanwhile a patch