diff --git a/devel/splint/Makefile b/devel/splint/Makefile
index f443eb390741..ab32d3c97c00 100644
--- a/devel/splint/Makefile
+++ b/devel/splint/Makefile
@@ -1,26 +1,29 @@
 PORTNAME=	splint
-PORTVERSION=	3.1.2
+DISTVERSION=	3.1.2
 PORTREVISION=	1
 CATEGORIES=	devel security
 MASTER_SITES=	http://www.splint.org/downloads/
-EXTRACT_SUFX=	.src.tgz
+DISTNAME=	${PORTNAME}-${PORTVERSION}.src
 
 MAINTAINER=	lwhsu@FreeBSD.org
 COMMENT=	Tool for statically checking sourcecode for security vulnerabilities
 WWW=		https://www.splint.org/
 
 LICENSE=	GPLv2+
 
-USES=		gmake
+USES=		gmake tar:tgz
+
 GNU_CONFIGURE=	yes
-GNU_CONFIGURE_MANPREFIX=	${PREFIX}/share
 CONFIGURE_ENV=	BISON=no
+
 MAKE_JOBS_UNSAFE=	yes
 
+WRKSRC=		${WRKDIR}/${PORTNAME}-${DISTVERSION}
+
 post-patch:
 	@${REINPLACE_CMD} -e \
 		's|%%PREFIX%%|${PREFIX}|g' ${WRKSRC}/src/Headers/constants.h
 	${FIND} ${WRKSRC} -name Makefile.in | ${XARGS} \
 		 ${REINPLACE_CMD} -e '/^pkgdatadir =/s|=.*|=${DATADIR}|'
 
 .include <bsd.port.mk>