aboutsummaryrefslogtreecommitdiffstats
path: root/devel/splint/Makefile
blob: 4d09ce7b23be5ca8a4aaa9d10dc6600ad3a8f9b8 (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
# New ports collection makefile for:    splint
# Date created:     9 September 1996
# Whom:         moeding
#
# $FreeBSD$
#

PORTNAME=   splint
PORTVERSION=    3.0.1.6
PORTREVISION=   1
CATEGORIES= devel security
MASTER_SITES=   http://www.splint.org/downloads/
EXTRACT_SUFX=   .src.tgz

MAINTAINER= ports@FreeBSD.org

PORTCOMMENT=    A tool for statically checking sourcecode for security vulnerabilities

GNU_CONFIGURE=  yes
CONFIGURE_TARGET=   --build=${ARCH}-portbld-freebsd${OSREL}
USE_GMAKE=  yes

MAN1=       splint.1

post-install:
    @${INSTALL_MAN} ${WRKSRC}/doc/splint.1 ${MANPREFIX}/man/man1

.include <bsd.port.mk>