aboutsummaryrefslogtreecommitdiffstats
path: root/devel/splint/Makefile
blob: ab32d3c97c00e02857eab0c4304b96bede5ba6cb (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
PORTNAME=	splint
DISTVERSION=	3.1.2
PORTREVISION=	1
CATEGORIES=	devel security
MASTER_SITES=	http://www.splint.org/downloads/
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 tar:tgz

GNU_CONFIGURE=	yes
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>