blob: 732479ba3a1e55e0392873ff3d6d88e037fc48eb (
plain)
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
|
# New ports collection makefile for: splint
# Date created: 9 September 1996
# Whom: moeding
#
# $FreeBSD$
#
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= A tool for statically checking sourcecode for security vulnerabilities
USE_GMAKE= yes
GNU_CONFIGURE= yes
CONFIGURE_TARGET= --build=${MACHINE_ARCH}-portbld-freebsd${OSREL}
MAN1= splint.1
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>
|
