[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using Makefile to run guix shell?
From: |
zimoun |
Subject: |
Re: Using Makefile to run guix shell? |
Date: |
Fri, 09 Dec 2022 00:04:17 +0100 |
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
- Re: Using Makefile to run guix shell?, (continued)
- Re: Using Makefile to run guix shell?, (, 2022/12/07
- Re: Using Makefile to run guix shell?, Peter Polidoro, 2022/12/07
- Re: Using Makefile to run guix shell?, (, 2022/12/07
- Re: Using Makefile to run guix shell?, Peter Polidoro, 2022/12/07
- Re: Using Makefile to run guix shell?, Wojtek Kosior, 2022/12/07
- Re: Using Makefile to run guix shell?, zimoun, 2022/12/08
- Re: Using Makefile to run guix shell?, Peter Polidoro, 2022/12/08
- Re: Using Makefile to run guix shell?, Wojtek Kosior, 2022/12/08
- Re: Using Makefile to run guix shell?, zimoun, 2022/12/08
- Re: Using Makefile to run guix shell?, Wojtek Kosior, 2022/12/08
- Re: Using Makefile to run guix shell?,
zimoun <=
- Re: Using Makefile to run guix shell?, Wojtek Kosior, 2022/12/08
- Re: Using Makefile to run guix shell?, Peter Polidoro, 2022/12/09
- Re: Using Makefile to run guix shell?, zimoun, 2022/12/10
- Re: Using Makefile to run guix shell?, Peter Polidoro, 2022/12/12
- Re: Using Makefile to run guix shell?, Wojtek Kosior, 2022/12/12
- Re: Using Makefile to run guix shell?, Philip McGrath, 2022/12/09
Re: Using Makefile to run guix shell?, Wolf, 2022/12/08