[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Using Makefile to run guix shell?
From: |
Wojtek Kosior |
Subject: |
Re: Using Makefile to run guix shell? |
Date: |
Fri, 9 Dec 2022 00:24:06 +0100 |
> In case reader is not convinced, here $(MAKE) does not refer to the same
> ’make’:
Of course it doesn't. The reason I pointed out this detail is because
if someone makes the first invocation differently, e.g. with
/usr/bin/make hello
or, in case of the example Makefile from your last email, with
/usr/bin/make guixy
I expect the command to fail with missing `/usr/bin/make` (which is
indeed not present in the container)
pgpuoZfcRHtvK.pgp
Description: OpenPGP digital signature
- Re: Using Makefile to run guix shell?, (continued)
- 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, 2022/12/08
- Re: Using Makefile to run guix shell?,
Wojtek Kosior <=
- 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