When building devel/tla on a system with no diffutils installed, the configure script fails telling it cannot find gdiff. The diffutils port (or gdiff) should be a BUILD_DEPENDS for tla. Also, please find a one-line patch to make portlint happy. The maintainer is Cc:ed. How-To-Repeat: pkg_delete diffutils; cd /usr/ports/devel/tla && make
Responsible Changed From-To: freebsd-ports-bugs->seanc Over to maintainer.
State Changed From-To: open->closed Patch applied, thanks!