mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-16 03:24:07 +00:00
6524cf2656
PR: ports/87412, ports/87411, ports/87410, ports/87409 Submitted by: Andrew Pogrebennyk <andrew.nau.ua@gmail.com>
30 lines
640 B
Makefile
30 lines
640 B
Makefile
# New ports collection makefile for: splint
|
|
# Date created: 9 September 1996
|
|
# Whom: moeding
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= splint
|
|
PORTVERSION= 3.1.1
|
|
PORTREVISION= 2
|
|
CATEGORIES= devel security
|
|
MASTER_SITES= http://www.splint.org/downloads/
|
|
EXTRACT_SUFX= .src.tgz
|
|
|
|
MAINTAINER= andrew.nau.ua@gmail.com
|
|
COMMENT= A tool for statically checking sourcecode for security vulnerabilities
|
|
|
|
USE_REINPLACE= yes
|
|
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
|
|
|
|
.include <bsd.port.mk>
|