diff options
| author | rillig <rillig@pkgsrc.org> | 2006-01-11 03:12:38 +0000 |
|---|---|---|
| committer | rillig <rillig@pkgsrc.org> | 2006-01-11 03:12:38 +0000 |
| commit | f6ae07692d97edd88bebf7c39cc4d3df107dbce5 (patch) | |
| tree | 6e6645369882942a28f7979796a82f21bf01296c /devel/cqual/Makefile | |
| parent | e3eadf85f93e68f13352ec27a280a19ac362e060 (diff) | |
| download | pkgsrc-f6ae07692d97edd88bebf7c39cc4d3df107dbce5.tar.gz | |
Imported cqual.
cqual is a type-based analysis tool for finding bugs in C programs. It
extends the type system of C with extra user-defined type qualifiers.
The programmer annotates their program in a few places, and cqual
performs qualifier inference to check whether the annotations are
correct.
Diffstat (limited to 'devel/cqual/Makefile')
| -rw-r--r-- | devel/cqual/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/devel/cqual/Makefile b/devel/cqual/Makefile new file mode 100644 index 00000000000..8e053fa7417 --- /dev/null +++ b/devel/cqual/Makefile @@ -0,0 +1,16 @@ +# $NetBSD: Makefile,v 1.1.1.1 2006/01/11 03:12:38 rillig Exp $ +# + +DISTNAME= cqual-0.991 +CATEGORIES= devel +MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=cqual/} + +MAINTAINER= tech-pkg@NetBSD.org +HOMEPAGE= http://cqual.sourceforge.net/ +COMMENT= Tool for adding type qualifiers to C + +USE_PKGLOCALEDIR= yes +GNU_CONFIGURE= yes +USE_TOOLS+= gmake perl + +.include "../../mk/bsd.pkg.mk" |