2001-05-06 00:12:42 +00:00
|
|
|
# $OpenBSD: Makefile,v 1.24 2001/05/06 00:13:06 lebel Exp $
|
|
|
|
|
|
|
|
COMMENT= "advanced lint: statically check C programs"
|
1999-06-07 23:37:56 +00:00
|
|
|
|
2000-08-01 15:41:13 +00:00
|
|
|
DISTNAME= lclint-2.5q
|
1999-06-07 23:37:56 +00:00
|
|
|
CATEGORIES= devel
|
2001-05-06 00:12:42 +00:00
|
|
|
NEED_VERSION= 1.402
|
2000-05-26 20:45:54 +00:00
|
|
|
MASTER_SITES= http://lclint.cs.virginia.edu/
|
|
|
|
MASTER_SITES0= http://lclint.cs.virginia.edu/guide/
|
1999-06-07 23:37:56 +00:00
|
|
|
|
1999-06-16 04:44:21 +00:00
|
|
|
DIST_SUBDIR= lclint
|
|
|
|
EXTRACT_ONLY= ${DISTNAME}.src.tar.gz
|
2000-05-26 20:45:54 +00:00
|
|
|
GUIDE= lclint-guide.tar.gz
|
|
|
|
DISTFILES= ${EXTRACT_ONLY} ${GUIDE}:0
|
1999-06-07 23:37:56 +00:00
|
|
|
|
2000-10-10 00:40:20 +00:00
|
|
|
MAINTAINER= Marc Espie <espie@openbsd.org>
|
2000-02-12 08:02:07 +00:00
|
|
|
|
2000-03-12 01:52:45 +00:00
|
|
|
# guide.tar.gz can be redistributed freely provided its contents are not
|
|
|
|
# altered.
|
|
|
|
|
2000-03-12 00:25:21 +00:00
|
|
|
PERMIT_PACKAGE_CDROM= Yes
|
|
|
|
PERMIT_PACKAGE_FTP= Yes
|
|
|
|
PERMIT_DISTFILES_CDROM= Yes
|
|
|
|
PERMIT_DISTFILES_FTP= Yes
|
|
|
|
AUTHOR= evans@cs.virginia.edu # David Evans
|
1999-06-07 23:37:56 +00:00
|
|
|
BUGS= lclint-bug@sds.lcs.mit.edu
|
2000-03-12 00:25:21 +00:00
|
|
|
HOMEPAGE= http://lclint.cs.virginia.edu/
|
1999-06-07 23:37:56 +00:00
|
|
|
|
1999-06-16 13:49:34 +00:00
|
|
|
# Has to use bison because lclint uses pure parsers
|
2000-03-24 23:28:01 +00:00
|
|
|
BUILD_DEPENDS= bison::devel/bison
|
1999-06-07 23:37:56 +00:00
|
|
|
|
2000-03-05 18:30:21 +00:00
|
|
|
USE_GMAKE= Yes
|
2000-10-22 15:41:23 +00:00
|
|
|
CONFIGURE_STYLE=gnu dest
|
1999-06-16 04:44:21 +00:00
|
|
|
|
|
|
|
DOCDIR= ${PREFIX}/share/doc/${DISTNAME}
|
1999-06-07 23:37:56 +00:00
|
|
|
|
|
|
|
post-patch:
|
2001-03-23 15:56:04 +00:00
|
|
|
@cd ${WRKSRC}/src && ${MAKE_PROGRAM} up
|
1999-06-07 23:37:56 +00:00
|
|
|
|
1999-09-24 14:13:06 +00:00
|
|
|
LIBSRC=${WRKSRC}/lib
|
2000-03-05 18:30:21 +00:00
|
|
|
LCLINT=${WRKBUILD}/bin/lclint
|
1999-09-24 14:13:06 +00:00
|
|
|
|
|
|
|
post-build:
|
|
|
|
-cd ${LIBSRC} && rm *.orig
|
|
|
|
cd ${LIBSRC} && $(LCLINT) -nolib ansi.h posix.h -dump posix
|
|
|
|
cd ${LIBSRC} && $(LCLINT) -DSTRICT -nolib ansi.h posix.h -dump posixstrict
|
|
|
|
cd ${LIBSRC} && $(LCLINT) -nolib ansi.h posix.h unix.h -dump unix
|
|
|
|
cd ${LIBSRC} && $(LCLINT) -DSTRICT -nolib ansi.h posix.h unix.h -dump unixstrict
|
1999-06-07 23:37:56 +00:00
|
|
|
post-install:
|
2001-03-22 22:06:35 +00:00
|
|
|
${INSTALL_DATA_DIR} ${DOCDIR}
|
2000-05-26 20:45:54 +00:00
|
|
|
cd ${DOCDIR} && tar -zxv -s ,lclint-guide/,, -f ${FULLDISTDIR}/${GUIDE}
|
1999-06-07 23:37:56 +00:00
|
|
|
|
1999-12-08 17:02:56 +00:00
|
|
|
test: install
|
2001-03-23 15:56:04 +00:00
|
|
|
@cd ${WRKSRC} && ${MAKE_PROGRAM} test
|
1999-06-07 23:37:56 +00:00
|
|
|
|
|
|
|
.include <bsd.port.mk>
|