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

2023-07-18 Thread Dmitry Goncharov
On Sun, Jul 16, 2023 at 4:59 PM Alejandro Colomar wrote: > I'm still interested in globstar support, though. It would make that > line shorter and more robust. Maybe you could add an option > --glob=globstar or similar to enable support. gmake does not keep its own impl of glob. It uses a copy

Re: wildcard and globstar

2023-07-17 Thread Paul Smith
On Mon, 2023-07-17 at 09:02 -0400, David Boyce wrote: > This raises a side question: it's quite common for glob libraries to > support ** as meaning "search recursively", such as > https://docs.python.org/3/library/glob.html. I'd be a bit surprised > if gnulib's glob implementation didn't support t

Re: wildcard and globstar

2023-07-17 Thread Alejandro Colomar
On 2023-07-17 09:34, Andreas Schwab wrote: > On Jul 16 2023, Alejandro Colomar wrote: > >> However, after the suggestion from Torbjörn, I've picked this workaround >> to reduce the code. It ended up being as small as this: >> >> MK := \ >> $(srcdir)/Makefile \ >> $(wildcard $(MAKEFILEDI

Re: wildcard and globstar

2023-07-17 Thread David Boyce
This raises a side question: it's quite common for glob libraries to support ** as meaning "search recursively", such as https://docs.python.org/3/library/glob.html. I'd be a bit surprised if gnulib's glob implementation didn't support this. Is it possible for GNU make to support $(wildcard **/.mk)

Re: wildcard and globstar

2023-07-17 Thread Andreas Schwab
On Jul 16 2023, Alejandro Colomar wrote: > However, after the suggestion from Torbjörn, I've picked this workaround > to reduce the code. It ended up being as small as this: > > MK := \ > $(srcdir)/Makefile \ > $(wildcard $(MAKEFILEDIR)/*.mk $(MAKEFILEDIR)/*/*.mk > $(MAKEFILEDIR)/*/*

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

2023-07-16 Thread Alejandro Colomar
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? > mk:=$(w

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

2023-07-16 Thread Dmitry Goncharov
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)

2023-07-16 Thread Alejandro Colomar
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 > >>