Hi,
You could also have a look at *updater.full_deps *option
(http://gittup.org/tup/manual.html#lbAH). It extends tracking of
dependencies to the whole filesystem and is the only built-in answer for
your problem.
Now, you should really try it to see if it suits you. It can have
unforeseen effects. For example, it does not play well with NixOS
because Tup catches changes in symlink chains pointing to the same tools.
Regards,
-- Guillaume.
On 3/07/19 20:50, dirkson wrote:
Hi there!
If the version of a compilation tool changes between tup compiles, the
output of a compilation step can change in a way that a tup user might
care about, but that tup can't currently account for.
As an example, the commonmark-to-html tool I was using to compile my
website recently changed its default behavior from "copy html in
commonmark files" to "remove html in commonmark files". I ended up
need to emulate a "Tup clean" by manually removing most of the
generated files, to force tup to regenerate everything using the new
method.
This could be solved by introducing 'tup clean', or by having tup do
some sort of hash on the binaries and/or command lines used for
compilation. The second sounds both messy and difficult, and it may
result in recompilation when the user doesn't want it - Most GCC
version bumps can be safely ignored, for example. This leaves 'tup
clean' as the cleanest obvious solution to this particular problem.
Please feel free to correct me if I've said something dumb, or if you
can think up a solution I missed.
Cheers,
-Dirk
--
--
tup-users mailing list
email: [email protected]
unsubscribe: [email protected]
options: http://groups.google.com/group/tup-users?hl=en
---
You received this message because you are subscribed to the Google
Groups "tup-users" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/tup-users/9443b786-05b0-419e-be88-1a6eabdcae86%40googlegroups.com
<https://groups.google.com/d/msgid/tup-users/9443b786-05b0-419e-be88-1a6eabdcae86%40googlegroups.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
--
tup-users mailing list
email: [email protected]
unsubscribe: [email protected]
options: http://groups.google.com/group/tup-users?hl=en
---
You received this message because you are subscribed to the Google Groups "tup-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/tup-users/9ee372e9-3f94-a12f-da08-1a185aa98377%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
