Mercury Bugs - mercury
View Issue Details
0000404mercuryBugpublic2016-02-09 10:052016-10-03 13:42
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000404: mmc --rebuild not working
Descriptionmmc --rebuild is no longer causing anything to be rebuild. (Presumably caused by commit 1fcdc4c)
TagsNo tags attached.
Attached Files

Notes
(0000904)
wangp   
2016-08-28 13:22   
This is indeed due to commit 1fcdc4c which changed the internal representation of --rebuild as opm_top_make(opmm_must_rebuild). The problem is that the op_mode for sub-steps is not opm_top_make(opmm_must_rebuild) but opm_top_args(blah) so that check_dependency_timestamps has lost the indicator that --rebuild is in effect.

I think we should change --rebuild back to a normal option that implies --make (opm_top_make).
(0000906)
zs   
2016-08-29 07:20   
Could either one of you add a test case for this bug? The reason I haven't looked at this bug when it was first filed is that I have no way of reproducing it, since I don't use --make myself.
(0000907)
juliensf   
2016-08-29 09:32   
Any valid Mercury program is a test case for this bug, samples/hello.m for instance.

     samples jfischer$ mmc --make hello
     Making Mercury/int3s/hello.int3
     Making Mercury/ints/hello.int
     Making Mercury/cs/hello.c
     Making Mercury/os/hello.o
     Making hello

    samples jfischer$ mmc --rebuild hello
    ** Nothing to be done for `hello'.
(0000926)
zs   
2016-10-03 13:42   
Fixed in commit 3485884 on 2016 oct 3.

Issue History
2016-02-09 10:05juliensfNew Issue
2016-08-28 13:22wangpNote Added: 0000904
2016-08-29 07:20zsNote Added: 0000906
2016-08-29 09:32juliensfNote Added: 0000907
2016-08-30 18:40zsAssigned To => zs
2016-08-30 18:40zsStatusnew => assigned
2016-10-03 13:42zsStatusassigned => resolved
2016-10-03 13:42zsResolutionopen => fixed
2016-10-03 13:42zsNote Added: 0000926