179d897537
- Update devel/splint to 3.0.1.6 - Give maintainership to Raymond Medeiros <rrm@subterrain.net> for requesting in PR PR: 33788, 35247, 35474 Submitted by: KATO Tsuguru <tkato@prontomail.com>, Jeroen Ruigrok van der Werven <asmodai@wxs.nl>, Raymond Medeiros <rrm@subterrain.net> Repocopied by: joe Approved by: portmgr
26 lines
491 B
Makefile
26 lines
491 B
Makefile
# New ports collection makefile for: splint
|
|
# Date created: 9 September 1996
|
|
# Whom: moeding
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= splint
|
|
PORTVERSION= 3.0.1.6
|
|
CATEGORIES= devel security
|
|
MASTER_SITES= http://www.splint.org/downloads/
|
|
EXTRACT_SUFX= .src.tgz
|
|
|
|
MAINTAINER= rrm@subterrain.net
|
|
|
|
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>
|