Re: New feature request: custom Makefile location

[Eli Zaretskii]

> Date: Fri, 5 May 2023 12:47:35 +0300
> From: Nagy Ákos 
> 
> I want to configure a custom location for a Makefile.
> 
> I use the make tool as sysadmin, and I use the same makefile for each 
> usualy docker project, and I need to copy it to all folders where I use 
> it, and I need to update it on all location.
> 
> 
> Workflow:
> 
> automatic detection: when the make tool don't found the makefile in 
> local folder, can check an environment variable (ex: MAKEFILE_LOCATION) 
> and if exist, can use it
> 
> manual flag: can add a new configuration flag to make: make 
> --location=/home/user/

How is this different from saying

  $ make -f /path/to/location/Makefile

?

Re: New feature request: custom Makefile location

[Paul Smith]

On Fri, 2023-05-05 at 12:47 +0300, Nagy Ákos wrote:
> automatic detection: when the make tool don't found the makefile in 
> local folder, can check an environment variable (ex:
> MAKEFILE_LOCATION) and if exist, can use it
> 
> manual flag: can add a new configuration flag to make: make 
> --location=/home/user/

Can you explain the ways in which the existing "-f" option doesn't meet
your needs?

New feature request: custom Makefile location

[Nagy Ákos]

Hello,

I want to configure a custom location for a Makefile.

I use the make tool as sysadmin, and I use the same makefile for each 
usualy docker project, and I need to copy it to all folders where I use 
it, and I need to update it on all location.



Workflow:

automatic detection: when the make tool don't found the makefile in 
local folder, can check an environment variable (ex: MAKEFILE_LOCATION) 
and if exist, can use it


manual flag: can add a new configuration flag to make: make 
--location=/home/user/



--
Nagy Ákos
libreoffice.ro



smime.p7s
Description: S/MIME Cryptographic Signature