New feature request: custom Makefile location
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
Re: New feature request: custom Makefile location
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?
Re: New feature request: custom Makefile location
> 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 ?
