Re: GNU make troubleshooting

On Sat, Jul 15, 2023 at 5:27 PM Bruno Haible wrote: > I believe these two user goals are so different; they belong in different > chapters. i believe, a good approach to big debug output is to modify the makefile to relieve make from doing redundant work. Once make only does necessary minimal

Re: GNU make troubleshooting

Hi Dmitry! On 2023-07-15 17:28, Dmitry Goncharov wrote: [...] > > $ make -d |tail +7 |head > Reading makefiles... > Reading makefile 'makefile'... > Updating makefiles > Considering target file 'makefile'. > Looking for an implicit rule for 'makefile'. >Trying pattern rule '%: %.o'

Re: GNU make troubleshooting

Como estas, Alex? On Sun, Jul 16, 2023 at 9:59 AM Alejandro Colomar wrote: > I applied the following patch > Glad you liked it. Rather than `find -type f...` (which is painfully

Re: wildcard and globstar (was: GNU make troubleshooting)

On Sun, Jul 16, 2023 at 10:49 AM Alejandro Colomar wrote: > I guess I'd need some kind of globstar support in GNU Make to be able > to use that Do you mean you need to find .mk files in subdirectories at different depth levels? mk:=$(wildcard */*/*.mk */*.mk *.mk) regards, Dmitry

wildcard and globstar (was: GNU make troubleshooting)

On 2023-07-16 16:17, Dmitry Goncharov wrote: > Como estas, Alex? Muy bien, y tu? =) > > On Sun, Jul 16, 2023 at 9:59 AM Alejandro Colomar wrote: >> I applied the following patch > >>

Re: wildcard and globstar (was: GNU make troubleshooting)

Hi! On 2023-07-16 18:31, Dmitry Goncharov wrote: > On Sun, Jul 16, 2023 at 10:49 AM Alejandro Colomar wrote: >> I guess I'd need some kind of globstar support in GNU Make to be able >> to use that > > Do you mean you need to find .mk files in subdirectories at different > depth levels? >

Re: GNU make troubleshooting

On 2023-07-16 15:58, Alejandro Colomar wrote: Wow! That's a great help for debugging the Linux man-pages's makefiles, which don't need to be remade. It was very painful to me to ignore so much make -d output. I applied the following patch, and it works like a charm.

Re: GNU make troubleshooting

I just put this at the very end of top makefile: ${MAKEFILE_LIST}: ; Philip Guenther On Sun, Jul 16, 2023 at 12:25 PM Torbjorn SVENSSON < torbjorn.svens...@foss.st.com> wrote: > > > On 2023-07-16 15:58, Alejandro Colomar wrote: > > Wow! That's a great help for debugging the Linux man-pages's

Re: GNU make troubleshooting

On 2023-07-16 22:14, Philip Guenther wrote: > I just put this at the very end of top makefile: > > ${MAKEFILE_LIST}: ; Hmm, that's giving me another good idea. Luckily, I haven't pushed the changes I had done yet. Thanks! Alex > > Philip Guenther -- GPG