[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: New feature request: custom Makefile location

From: Eli Zaretskii
Subject: Re: New feature request: custom Makefile location
Date: Fri, 05 May 2023 16:34:49 +0300

> Date: Fri, 5 May 2023 12:47:35 +0300
> From: Nagy Ákos <nagy.akos@libreoffice.ro>
> 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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]