[Top][All Lists]

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

Re: New feature request: custom Makefile location

From: Nagy Ákos
Subject: Re: New feature request: custom Makefile location
Date: Mon, 8 May 2023 09:38:44 +0300

Sorry for spam, I omit or I used wrong this option when I test it.

It works as I expected.

On 2023. 05. 05. 16:34, Eli Zaretskii wrote:
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.


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
How is this different from saying

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


Nagy Ákos

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

reply via email to

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