On Thu, Feb 13 2020, Stuart Henderson <s...@spacehopper.org> wrote: > On 2020/02/10 12:28, Stuart Henderson wrote: >> Currently setting GH_TAGNAME automatically populates DISTNAME (and hence >> PKGNAME) and WRKDIST, based on the contents of GH_TAGNAME, with a leading >> 'v' stripped off. Often this is helpful but other times it isn't, requiring >> overriding defaults. >> >> We can be a bit smarter by only stripping v when it's followed by what looks >> like a version number (optionally - . or _, followed by a digit). Also add a >> few >> more commonly seen prefixes so that the automatic naming comes into play more >> often. >> >> This means renaming a distfile in a couple of existing ports to match (shown >> in the diff) but I think that's a small price to pay for less mess in other >> ports. If this goes in I can do a sweep and get rid of unnecessary manual >> setting of DISTNAME/PKGNAME/WRKDIST that will go away as a result. >> (The only other ports I've touched in this particular diff are the ones that >> *need* changing). >> >> I've put it into a bulk build to make sure I didn't miss anything, assuming >> there are no problems with that - any comments/concerns/OKs? > > > Bulk was successful. One other distinfo change needed for a new port but > that's it.
Cool, ok jca@. Thanks! -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE