[1003.1(2013)/Issue7+TC1 0000857]: Make rules which do not create the target file or do unexpected things with its timestamp

[Austin Group Bug Tracker]

A NOTE has been added to this issue.
======================================================================
http://austingroupbugs.net/view.php?id=857
======================================================================
Reported By: jammule
Assigned To:
======================================================================
Project: 1003.1(2013)/Issue7+TC1
Issue ID: 857
Category: Shell and Utilities
Type: Omission
Severity: Comment
Priority: normal
Status: Resolved
Name: Jarmo Jaakkola
Organization:
User Reference:
Section: make
Page Number: 2937
Line Number: 97105-97113
Interp Status: ---
Final Accepted Text: http://austingroupbugs.net/view.php?id=857#c2351
Resolution: Accepted As Marked
Fixed in Version:
======================================================================
Date Submitted: 2014-07-08 10:14 UTC
Last Modified: 2014-09-04 16:07 UTC
======================================================================
Summary: Make rules which do not create the target file or do
unexpected things with its timestamp
======================================================================
Relationships ID Summary
----------------------------------------------------------------------
related to 0000523 Add support for special target .PHONY i...
related to 0000763 If rule has no prerequisites or command...
======================================================================

----------------------------------------------------------------------
(0002372) geoffclare (manager) - 2014-09-04 16:07
http://austingroupbugs.net/view.php?id=857#c2372
----------------------------------------------------------------------
In the Sept 4 teleconference it was decided to include the final paragraph
from http://austingroupbugs.net/view.php?id=857#c2353 as application usage, and
http://austingroupbugs.net/view.php?id=857#c2351 has been updated
accordingly.

Issue History
Date Modified Username Field Change
======================================================================
2014-07-08 10:14 jammule New Issue
2014-07-08 10:14 jammule Name => Jarmo Jaakkola
2014-07-08 10:14 jammule Section => make
2014-07-08 10:14 jammule Page Number => 2937
2014-07-08 10:14 jammule Line Number => 97105-97113
2014-07-08 10:24 jammule Issue Monitored: jammule
2014-07-08 10:25 jammule Issue End Monitor: jammule
2014-08-07 16:18 eblake Note Added: 0002335
2014-08-07 16:18 eblake Relationship added related to 0000523
2014-08-07 17:16 mdempsky Note Added: 0002336
2014-08-07 17:17 mdempsky Note Added: 0002337
2014-08-08 10:41 antoinel Note Added: 0002338
2014-08-08 10:42 antoinel Note Edited: 0002338
2014-08-08 10:42 antoinel Note Edited: 0002338
2014-08-08 10:43 antoinel Note Edited: 0002338
2014-08-08 10:44 antoinel Note Edited: 0002338
2014-08-08 10:47 antoinel Note Edited: 0002338
2014-08-08 10:47 antoinel Note Edited: 0002338
2014-08-08 10:51 antoinel Note Edited: 0002338
2014-08-08 11:44 jammule Note Added: 0002340
2014-08-08 11:47 jammule Note Edited: 0002340
2014-08-08 12:22 eblake Relationship added related to 0000763
2014-08-08 17:10 mdempsky Note Added: 0002343
2014-08-21 15:35 geoffclare Note Added: 0002351
2014-08-21 15:39 geoffclare Interp Status => ---
2014-08-21 15:39 geoffclare Final Accepted Text =>
http://austingroupbugs.net/view.php?id=857#c2351
2014-08-21 15:39 geoffclare Status New => Resolved
2014-08-21 15:39 geoffclare Resolution Open => Accepted As
Marked
2014-08-21 15:39 geoffclare Tag Attached: tc2-2008
2014-08-21 16:13 eggert Note Added: 0002353
2014-08-22 09:20 geoffclare Note Edited: 0002351
2014-09-04 16:06 geoffclare Note Edited: 0002351
2014-09-04 16:07 geoffclare Note Added: 0002372
======================================================================

[Austin Group Bug Tracker]

A NOTE has been added to this issue.
======================================================================
http://austingroupbugs.net/view.php?id=857
======================================================================
Reported By: jammule
Assigned To:
======================================================================
Project: 1003.1(2013)/Issue7+TC1
Issue ID: 857
Category: Shell and Utilities
Type: Omission
Severity: Comment
Priority: normal
Status: Resolved
Name: Jarmo Jaakkola
Organization:
User Reference:
Section: make
Page Number: 2937
Line Number: 97105-97113
Interp Status: ---
Final Accepted Text: http://austingroupbugs.net/view.php?id=857#c2351
Resolution: Accepted As Marked
Fixed in Version:
======================================================================
Date Submitted: 2014-07-08 10:14 UTC
Last Modified: 2014-09-05 08:33 UTC
======================================================================
Summary: Make rules which do not create the target file or do
unexpected things with its timestamp
======================================================================
Relationships ID Summary
----------------------------------------------------------------------
related to 0000523 Add support for special target .PHONY i...
related to 0000763 If rule has no prerequisites or command...
======================================================================

----------------------------------------------------------------------
(0002373) jammule (reporter) - 2014-09-05 08:33
http://austingroupbugs.net/view.php?id=857#c2373
----------------------------------------------------------------------
<p>I think that the accepted change just made all implementations
non-compliant...</p><blockquote>It shall be an error if there is no
<b>target</b> rule for a prerequisite that does not have a corresponding
file.</blockquote><p>This would mean that it should always be an error if
the target of an inference rule did not exist before make was run. I did
leave the bolded word out from my proposal for just that reason. I'd
suggest changing that sentence to:</p><blockquote>It shall be an error if
there is no <del>target</del><ins>applicable</ins> rule for a prerequisite
that does not have a corresponding file.</blockquote>

Issue History
Date Modified Username Field Change
======================================================================
2014-07-08 10:14 jammule New Issue
2014-07-08 10:14 jammule Name => Jarmo Jaakkola
2014-07-08 10:14 jammule Section => make
2014-07-08 10:14 jammule Page Number => 2937
2014-07-08 10:14 jammule Line Number => 97105-97113
2014-07-08 10:24 jammule Issue Monitored: jammule
2014-07-08 10:25 jammule Issue End Monitor: jammule
2014-08-07 16:18 eblake Note Added: 0002335
2014-08-07 16:18 eblake Relationship added related to 0000523
2014-08-07 17:16 mdempsky Note Added: 0002336
2014-08-07 17:17 mdempsky Note Added: 0002337
2014-08-08 10:41 antoinel Note Added: 0002338
2014-08-08 10:42 antoinel Note Edited: 0002338
2014-08-08 10:42 antoinel Note Edited: 0002338
2014-08-08 10:43 antoinel Note Edited: 0002338
2014-08-08 10:44 antoinel Note Edited: 0002338
2014-08-08 10:47 antoinel Note Edited: 0002338
2014-08-08 10:47 antoinel Note Edited: 0002338
2014-08-08 10:51 antoinel Note Edited: 0002338
2014-08-08 11:44 jammule Note Added: 0002340
2014-08-08 11:47 jammule Note Edited: 0002340
2014-08-08 12:22 eblake Relationship added related to 0000763
2014-08-08 17:10 mdempsky Note Added: 0002343
2014-08-21 15:35 geoffclare Note Added: 0002351
2014-08-21 15:39 geoffclare Interp Status => ---
2014-08-21 15:39 geoffclare Final Accepted Text =>
http://austingroupbugs.net/view.php?id=857#c2351
2014-08-21 15:39 geoffclare Status New => Resolved
2014-08-21 15:39 geoffclare Resolution Open => Accepted As
Marked
2014-08-21 15:39 geoffclare Tag Attached: tc2-2008
2014-08-21 16:13 eggert Note Added: 0002353
2014-08-22 09:20 geoffclare Note Edited: 0002351
2014-09-04 16:06 geoffclare Note Edited: 0002351
2014-09-04 16:07 geoffclare Note Added: 0002372
2014-09-05 08:33 jammule Note Added: 0002373
======================================================================

[Geoff Clare]

Post by Austin Group Bug Tracker
----------------------------------------------------------------------
(0002373) jammule (reporter) - 2014-09-05 08:33
http://austingroupbugs.net/view.php?id=857#c2373
----------------------------------------------------------------------
<p>I think that the accepted change just made all implementations
non-compliant...</p><blockquote>It shall be an error if there is no
<b>target</b> rule for a prerequisite that does not have a corresponding
file.</blockquote><p>This would mean that it should always be an error if
the target of an inference rule did not exist before make was run. I did
leave the bolded word out from my proposal for just that reason. I'd
suggest changing that sentence to:</p><blockquote>It shall be an error if
there is no <del>target</del><ins>applicable</ins> rule for a prerequisite
that does not have a corresponding file.</blockquote>

Good catch. I'd prefer something more detailed than "applicable rule",
which seems a bit vague. How about:

It shall be an error if a needed prerequisite does not exist and
there is neither a target rule nor an inference rule that can be
used to make it.