[Dune] [Dune-Commit] dune-common r5537 - trunk/bin#

[Martin Nolte]

Hi Christian, hi Sven,

of course, Christian is right that the file I used will not work for installed
versions of Dune. However, I agree that a file in the home directory is
problematic, too (and it was never fool-proof in the sense mentioned by
Christian).

There are at least the following solutions to this problem:

(a) do a correct implementation (that might take weeks with no extra gain)

(b) remove the feature again

(c) leave it as it is

(d) let the user specify the file in his options (if none is given, we simply
disable the resume feature).

All I wanted was a fast and easy to use possibility to resume a failed
dunecontrol run (because this frequently happens to me). That's why I would be
content with solution (d). On the other hand, this is a bit harder to
communicate to the "users".

What are your opinions?

Yours,

Martin


Christian Engwer wrote:
> On Wed, Jun 10, 2009 at 01:12:38PM +0200, Sven Marnach wrote:
>> Hi Christian,
>>
>> christi at dune-project.org schrieb am Di, 09. Jun 2009, um 22:55:49 +0200:
>>> save RESUME file in home directory
>> for me, this breaks things, because I have multiple DUNE trees
>> (different versions) and they now all use the same resume file.  I
>> often compile multiple trees in parallel and I would like to be able
>> to resume either of them when things fail.
>>
>> Before this patch, the resume feature worked fine.  What is the
>> rationale for this patch?
> 
> An installed DUNE can't write to `basename $0`.
> 
> It was Martins proposal to have a resume feature and I told him that
> it will be a lot of work implement it properly. I don't think we will
> support your use pattern. You can still resume it, it is just that you
> should not run an other one in between. But anyway the old version did
> was not fool-proof, because it would still (and does still) allow you
> to resume an old run with a different command. The proper way would be
> to add stamp files for the different commands in the different
> source/build directories.
> 
> Christian
> 
> 
> _______________________________________________
> Dune mailing list
> Dune at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune

-- 
Martin Nolte <nolte at mathematik.uni-freiburg.de>

Universität Freiburg                                   phone: +49-761-203-5642
Abteilung für angewandte Mathematik                    fax:   +49-761-203-5632
Hermann-Herder-Straße 10
79104 Freiburg, Germany