diff options
Diffstat (limited to 'devel/splint/Makefile')
| -rw-r--r-- | devel/splint/Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/devel/splint/Makefile b/devel/splint/Makefile index f443eb390741..ab32d3c97c00 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -1,9 +1,9 @@ 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 @@ -11,12 +11,15 @@ 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 |