Re: Using Makefile to run guix shell?

[zimoun <zimon.toutoune@gmail.com>]

Hi,

On Thu, 08 Dec 2022 at 22:30, Wojtek Kosior via <help-guix@gnu.org> wrote:

>> hello:
>> 	guix shell -C hello make -- $(MAKE) stuff

[...]

> What is the purpose of using `$(MAKE)` over just `make` in the recipe
> in this case? It would only be appropriate if you wanted the same make
> to be used for both the manual and recursive invocation, right?

No specific reason.  Initially I wrote without the container option ’-C’
or --pure, so really recursive.  But then I checked if it also worked
with the container option ’-C’ and let the old $(MAKE) invocation.

In case reader is not convinced, here $(MAKE) does not refer to the same
’make’:

--8<---------------cut here---------------start------------->8---
$ cat Makefile
stuff:
	which make

guixy:
	@guix shell -C which make -- $(MAKE) stuff

$ which make
/usr/bin/make

$ make stuff
which make
/usr/bin/make

$ make guixy
which make
/gnu/store/dp8bar2xgzwz1yfm9lcafqn3vhs2cjqc-profile/bin/make
--8<---------------cut here---------------end--------------->8---

Cheers,
simon