Hmm, I thought we had discussed the ': file |> |> <group>' syntax somewhere as well, but in relation to adding normal files to groups (ie: those in your tree but not generated by a rule in tup). The closest thing I found is this issue regarding multiple output groups: https://github.com/gittup/tup/issues/166
I don't think there is currently a good solution for avoiding certain filenames showing up in a group with tup as is. Separating groups based on outputs vs. extra-outputs sounds like a good idea, though I'd have to investigate if that's actually possible. The distinction between outputs & extra-outputs is lost after parsing - they all look the same in the database. One other possible work-around you could do instead of your annoying copy rule is to have a wrapper script for the linker. It could just grep out the .exp files or whatever before passing it to the linker. If we did add support for a ': file |> |> <group>' syntax, that could possibly work both for adding source files to groups, as well as selectively adding generated files like you've described. Currently groups are tied to a command-node in the database, so that might be a little tricky. (That way when the command gets removed, the files can also be removed from their group). -Mike On Tue, Apr 12, 2016 at 7:38 PM, Kalrish Bäakjen <[email protected]> wrote: > That would be perfect… if only I could find it :(. I've asked Google, > searched the GitHub issue tracker and this forum to no avail. I'll keep > searching and post it here if I find it. > > Thanks a lot. Regards, > Kalrish > > -- > -- > 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]. > 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]. For more options, visit https://groups.google.com/d/optout.
