[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to avoid the double execution of a make info call?
From: |
SF Markus Elfring |
Subject: |
Re: How to avoid the double execution of a make info call? |
Date: |
Thu, 22 Jun 2017 21:22:17 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.0 |
> If the makefile, or any of the files it includes, is updated by make
> then make will re-execute itself and re-read all the makefiles from
> scratch so it can see the updated content. When that happens,
> obviously all the $(info ...) functions etc. will be re-expanded.
Thanks for your repeated explanation.
I'm sorry that I needed also another reminder.
>> Or is it more desirable to deactivate the message “modules without
>> mli files”?
>
> That's up to you; we can't decide for you.
I am curious on how the support for consistent interface descriptions
will evolve also for a programming language like OCaml.
> If you decide you want to test whether or not this makefile is being
> read due to the initial parse versus a re-execution of make you can
> check the MAKE_RESTARTS variable:
I have added this one.
> Or you can just remove these $(info ...) statements.
I am also curious on how other involved contributors will react to
a pull request for recent software developments around the discussed
build scripts.
Regards,
Markus
- Re: Checking application of dependencies from make rules without recipes, (continued)
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/18
- Re: Checking application of dependencies from make rules without recipes, Paul Smith, 2017/06/18
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/19
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/20
- Re: How to avoid the double execution of a make info call?, SF Markus Elfring, 2017/06/22
- Re: How to avoid the double execution of a make info call?, Paul Smith, 2017/06/22
- Re: How to avoid the double execution of a make info call?, SF Markus Elfring, 2017/06/22
- Re: How to avoid the double execution of a make info call?, Martin Dorey, 2017/06/22
- Re: How to avoid the double execution of a make info call?, SF Markus Elfring, 2017/06/22
- Re: How to avoid the double execution of a make info call?, Paul Smith, 2017/06/22
- Re: How to avoid the double execution of a make info call?,
SF Markus Elfring <=
- Re: Improving dependency specifications in make rules?, SF Markus Elfring, 2017/06/28
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/27
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/20
- Re: Checking application of dependencies from make rules without recipes, Paul Smith, 2017/06/20
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/20
- Re: Checking application of dependencies from make rules without recipes, Paul Smith, 2017/06/20
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/21
- RE: Checking application of dependencies from make rules without recipes, Martin Dorey, 2017/06/21
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/21
- Message not available
- Re: Checking application of dependencies from make rules without recipes, SF Markus Elfring, 2017/06/21