Re: Using Makefile to run guix shell?

[Wojtek Kosior via <help-guix@gnu.org>]

[-- Attachment #1: Type: text/plain, Size: 682 bytes --]

> ifndef GUIX_ENVIRONMENT
>     todo:=echo
> else
>     todo:=hello
> endif
> 
> stuff:
> 	@echo "Enter stuff"
> 	@echo "GUIX_ENVIRONMENT: ${GUIX_ENVIRONMENT}"
> 	$(todo)
> 	@echo "stuff done."
> 
> hello:
> 	guix shell -C hello make -- $(MAKE) stuff
> 
> .PHONY: stuff hello
>
> [...]
>
> Note that the Makefile calls the Makefile but since it is run inside a
> shell --container, then you need to provide ’make’.
> 
> 
> Cheers,
> simon
> 

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?

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 228 bytes --]