Suggestion for portlint to check the PORTNAME against its directory
Date: Sat, 22 Feb 2025 15:09:08 UTC
I am writing a port for gf2. The developer of gf2 is inconsistent with the name, switching between "gf" and "gf2". Because of this, I wasn't sure what to name the port and almost sent a patch with the wrong PORTNAME. It might be handy to have portlint spit out a warning to catch when the PORTNAME doesn't match its path. For example, $ cd devel/gf2 $ portlint -a -A -m -N -c -C looks fine. $ grep PORTNAME Makefile PORTNAME= foobar // Paco