diff --git a/devel/splint/Makefile b/devel/splint/Makefile index 0b477b963fef..49df11d5a206 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -1,23 +1,24 @@ PORTNAME= splint PORTVERSION= 3.1.2 CATEGORIES= devel security MASTER_SITES= http://www.splint.org/downloads/ EXTRACT_SUFX= .src.tgz MAINTAINER= lwhsu@FreeBSD.org COMMENT= Tool for statically checking sourcecode for security vulnerabilities WWW= https://www.splint.org/ LICENSE= GPLv2+ USES= gmake GNU_CONFIGURE= yes +CONFIGURE_ENV= BISON=no MAKE_JOBS_UNSAFE= yes 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