40 lines
912 B
Makefile
40 lines
912 B
Makefile
# $OpenBSD: Makefile,v 1.7 2007/08/25 08:03:43 espie Exp $
|
|
|
|
COMMENT= advanced lint: statically check C programs
|
|
DISTNAME= splint-3.1.2
|
|
DISTFILES= splint-3.1.2.src.tgz
|
|
PKGNAME= ${DISTNAME}
|
|
CATEGORIES= devel
|
|
|
|
HOMEPAGE= http://www.splint.org/
|
|
|
|
MAINTAINER= Marc Espie <espie@openbsd.org>
|
|
|
|
# GPL
|
|
PERMIT_PACKAGE_CDROM= Yes
|
|
PERMIT_PACKAGE_FTP= Yes
|
|
PERMIT_DISTFILES_CDROM= Yes
|
|
PERMIT_DISTFILES_FTP= Yes
|
|
WANTLIB= c
|
|
|
|
MASTER_SITES= ${HOMEPAGE}downloads/
|
|
|
|
# Has to use bison because splint uses pure parsers
|
|
BUILD_DEPENDS= :bison-*:devel/bison
|
|
|
|
USE_GMAKE= Yes
|
|
CONFIGURE_STYLE=gnu
|
|
MODGNU_CONFIG_GUESS_DIRS=${WRKSRC}/config
|
|
|
|
pre-build:
|
|
-rm ${WRKSRC}/src/{cgrammar,llgrammar,mtgrammar,signature}.c
|
|
|
|
DOCDIR= ${PREFIX}/share/doc/splint
|
|
|
|
post-install:
|
|
${INSTALL_DATA_DIR} ${DOCDIR}
|
|
${INSTALL_DATA} ${WRKSRC}/doc/manual.pdf ${DOCDIR}
|
|
${INSTALL_DATA} ${WRKSRC}/doc/html/manual.htm ${DOCDIR}/manual.html
|
|
|
|
.include <bsd.port.mk>
|