[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New feature request: custom Makefile location
From: |
Paul Smith |
Subject: |
Re: New feature request: custom Makefile location |
Date: |
Fri, 05 May 2023 09:18:22 -0400 |
User-agent: |
Evolution 3.48.0 (by Flathub.org) |
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?