[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in
From: |
Stefan Monnier |
Subject: |
Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in |
Date: |
Sun, 14 Apr 2019 13:30:50 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
> The fingerprint is not guaranteed foolproof when computed from the *.o
> files and is not guaranteed foolproof when made from the temacs.in
> file either.
>
> Isn't it?
I don't see anything in the semantics of `ld` which makes the guarantees
we'd need, no. Maybe current `ld` does, in practice, of course.
> The two approaches are not equally robust.
No, indeed.
> The temacs.in approach is as close as you're going to get to foolproof
> and future proof.
Might be. Actually backpatching the fingerprint into `temacs` might be
in some cases more robust (it doesn't assume that both runs of `ld`
produce the same result).
But my point is just that it's a question of degree.
Just like the compilation time is a question of degree.
Noone is wrong or right here, these are just personal preferences.
I use machines whose age spans between 16 and 5 years (my main work
laptop is more than 10 years old because it's more or less the most
recent 4:3 I could find) so I value speed ups in compilation time
probably more than others on this list.
Stefan
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, (continued)
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Daniel Colascione, 2019/04/11
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Paul Eggert, 2019/04/11
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Daniel Colascione, 2019/04/12
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Eli Zaretskii, 2019/04/13
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Stefan Monnier, 2019/04/13
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Daniel Colascione, 2019/04/13
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Stefan Monnier, 2019/04/14
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Eli Zaretskii, 2019/04/14
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Stefan Monnier, 2019/04/14
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, dancol, 2019/04/14
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in,
Stefan Monnier <=
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Eli Zaretskii, 2019/04/14
- Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Paul Eggert, 2019/04/14
Re: [Emacs-diffs] master d826037 3/3: Remove the need for temacs.in, Stefan Monnier, 2019/04/11