Not really a new port, SPLint is the successor of LCLint.
This commit is contained in:
espie
parent
ab4b094775
commit
5b4fbb49f6
43
devel/splint/Makefile
Normal file
43
devel/splint/Makefile
Normal file
@ -0,0 +1,43 @@
|
||||
# $OpenBSD: Makefile,v 1.1.1.1 2002/02/23 23:59:18 espie Exp $
|
||||
|
||||
COMMENT= "advanced lint: statically check C programs"
|
||||
DISTNAME= splint-3.0.1.6
|
||||
CATEGORIES= devel
|
||||
NEED_VERSION= 1.470
|
||||
|
||||
MASTER_SITES= http://www.splint.org/downloads/
|
||||
MASTER_SITES0= http://www.splint.org/manual/
|
||||
|
||||
AUTHOR= evans@virginia.edu # David Evans
|
||||
HOMEPAGE= http://www.splint.org/
|
||||
|
||||
# For the documentation
|
||||
DIST_SUBDIR= splint-3.0.1.6
|
||||
DISTFILES= ${DISTNAME}.src.tgz \
|
||||
manual.html:0
|
||||
|
||||
EXTRACT_ONLY= ${DISTNAME}.src.tgz
|
||||
|
||||
MAINTAINER= Marc Espie <espie@openbsd.org>
|
||||
|
||||
# Has to use bison because splint uses pure parsers
|
||||
BUILD_DEPENDS= :bison-*:devel/bison
|
||||
|
||||
USE_GMAKE= Yes
|
||||
CONFIGURE_STYLE=gnu
|
||||
|
||||
PERMIT_PACKAGE_CDROM= Yes
|
||||
PERMIT_PACKAGE_FTP= Yes
|
||||
PERMIT_DISTFILES_CDROM= Yes
|
||||
PERMIT_DISTFILES_FTP= Yes
|
||||
|
||||
pre-build:
|
||||
-rm ${WRKSRC}/src/{cgrammar,llgrammar,mtgrammar,signature}.c
|
||||
|
||||
DOCDIR= ${PREFIX}/share/doc/splint
|
||||
|
||||
post-install:
|
||||
${INSTALL_DATA_DIR} ${DOCDIR}
|
||||
${INSTALL_DATA} ${FULLDISTDIR}/manual.html ${DOCDIR}
|
||||
|
||||
.include <bsd.port.mk>
|
||||
6
devel/splint/distinfo
Normal file
6
devel/splint/distinfo
Normal file
@ -0,0 +1,6 @@
|
||||
MD5 (splint-3.0.1.6/manual.html) = c3cec1a6ef8b0b2f9f3f48d69ecb8e4f
|
||||
MD5 (splint-3.0.1.6/splint-3.0.1.6.src.tgz) = 3b19e62d5b3a8883ac356dff3615234c
|
||||
RMD160 (splint-3.0.1.6/manual.html) = 92dea18581590eacf4a5cb854d3d569a6a00ef6a
|
||||
RMD160 (splint-3.0.1.6/splint-3.0.1.6.src.tgz) = 17db2e2ee5cac5716e417aa2029a33d4a2520a00
|
||||
SHA1 (splint-3.0.1.6/manual.html) = da1a746cfe11b048319895ff469d3b3a2cdf38cb
|
||||
SHA1 (splint-3.0.1.6/splint-3.0.1.6.src.tgz) = 65c15cef2b2a554c484127b86668efd4e76e9604
|
||||
13
devel/splint/pkg/DESCR
Normal file
13
devel/splint/pkg/DESCR
Normal file
@ -0,0 +1,13 @@
|
||||
SPLint is a tool for statically checking C programs. With minimal
|
||||
effort, SPLint can be used as a better lint. If additional effort is
|
||||
invested adding annotations to programs, SPLint can perform stronger
|
||||
checks than can be done by any standard lint.
|
||||
|
||||
SPLint can detect lots of obscure errors that other lints can't find.
|
||||
It takes some getting used to, and tends to output quite a large number
|
||||
of warnings unless tuned for the current project.
|
||||
|
||||
It is the successor of LCLint, an earlier effort, with more checks
|
||||
with respect to buffer sizes calculations.
|
||||
|
||||
WWW: ${HOMEPAGE}
|
||||
58
devel/splint/pkg/PLIST
Normal file
58
devel/splint/pkg/PLIST
Normal file
@ -0,0 +1,58 @@
|
||||
@comment $OpenBSD: PLIST,v 1.1.1.1 2002/02/23 23:59:18 espie Exp $
|
||||
bin/splint
|
||||
share/doc/splint/manual.html
|
||||
share/splint/imports/assert.lcl
|
||||
share/splint/imports/assert.lcs
|
||||
share/splint/imports/ctype.lcl
|
||||
share/splint/imports/ctype.lcs
|
||||
share/splint/imports/errno.lcl
|
||||
share/splint/imports/errno.lcs
|
||||
share/splint/imports/limits.lcl
|
||||
share/splint/imports/limits.lcs
|
||||
share/splint/imports/locale.lcl
|
||||
share/splint/imports/locale.lcs
|
||||
share/splint/imports/math.lcl
|
||||
share/splint/imports/math.lcs
|
||||
share/splint/imports/setjmp.lcl
|
||||
share/splint/imports/setjmp.lcs
|
||||
share/splint/imports/signal.lcl
|
||||
share/splint/imports/signal.lcs
|
||||
share/splint/imports/stdarg.lcl
|
||||
share/splint/imports/stdarg.lcs
|
||||
share/splint/imports/stdio.lcl
|
||||
share/splint/imports/stdio.lcs
|
||||
share/splint/imports/stdlib.lcl
|
||||
share/splint/imports/stdlib.lcs
|
||||
share/splint/imports/string.lcl
|
||||
share/splint/imports/string.lcs
|
||||
share/splint/imports/strings.lcl
|
||||
share/splint/imports/strings.lcs
|
||||
share/splint/imports/time.lcl
|
||||
share/splint/imports/time.lcs
|
||||
share/splint/lib/CTrait.syms
|
||||
share/splint/lib/CTraitGen.lcl
|
||||
share/splint/lib/bool.h
|
||||
share/splint/lib/file.mts
|
||||
share/splint/lib/file.xh
|
||||
share/splint/lib/filerw.mts
|
||||
share/splint/lib/filerw.xh
|
||||
share/splint/lib/lclinit.lci
|
||||
share/splint/lib/linux.h
|
||||
share/splint/lib/lslinit.lsi
|
||||
share/splint/lib/posix.h
|
||||
share/splint/lib/posix.lcd
|
||||
share/splint/lib/posixstrict.lcd
|
||||
share/splint/lib/standard.h
|
||||
share/splint/lib/standard.lcd
|
||||
share/splint/lib/standardstrict.lcd
|
||||
share/splint/lib/stdio.h
|
||||
share/splint/lib/stdlib.h
|
||||
share/splint/lib/tainted.mts
|
||||
share/splint/lib/tainted.xh
|
||||
share/splint/lib/unix.h
|
||||
share/splint/lib/unix.lcd
|
||||
share/splint/lib/unixstrict.lcd
|
||||
@dirrm share/splint/lib
|
||||
@dirrm share/splint/imports
|
||||
@dirrm share/splint
|
||||
@dirrm share/doc/splint
|
||||
Loading…
Reference in New Issue
Block a user