[112016] trunk/dports/gis/sfcgal/Portfile

[Ryan Schmidt]

On Oct 10, 2013, at 05:20, Joshua Root wrote:
> On 2013-10-10 20:31 , Vincent Habchi wrote:
>>> BTW, the port now has redundant name and version lines, and the case of
>>> the parent dir does not match that of the name.
>> 
>> Oh, I know. But I thought a capitalized name would look terrible; what’s your opinion?
> 
> Well you should just remove the unnecessary (and now old) version line.
> The name line can be moved to after the github.setup to override it.

…like I had it in the patch I provided in #40720 :)

As for whether a port name should contain uppercase letters, that's entirely up to the maintainer, but the port's name is generally decided when the port is created, not changed later. Though I think we discovered that changing the case does actually work ok, even for upgrading users.