diff options
| -rw-r--r-- | devel/cqual/DESCR | 5 | ||||
| -rw-r--r-- | devel/cqual/Makefile | 16 | ||||
| -rw-r--r-- | devel/cqual/PLIST | 33 | ||||
| -rw-r--r-- | devel/cqual/distinfo | 6 | ||||
| -rw-r--r-- | devel/cqual/patches/patch-aa | 24 |
5 files changed, 84 insertions, 0 deletions
diff --git a/devel/cqual/DESCR b/devel/cqual/DESCR new file mode 100644 index 00000000000..d799f8b97b7 --- /dev/null +++ b/devel/cqual/DESCR @@ -0,0 +1,5 @@ +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. 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" diff --git a/devel/cqual/PLIST b/devel/cqual/PLIST new file mode 100644 index 00000000000..be9aa5386b6 --- /dev/null +++ b/devel/cqual/PLIST @@ -0,0 +1,33 @@ +@comment $NetBSD: PLIST,v 1.1.1.1 2006/01/11 03:12:38 rillig Exp $ +bin/cqual +bin/gcqual +bin/iquals +bin/kqual +bin/oldcqual +bin/oldiquals +bin/parser +bin/remblanks +bin/remquals +bin/rinf +info/pam-mode.info +share/cqual/lattice +share/cqual/linux-syscalls.cq +share/cqual/prelude.cq +share/cqual/proto-noderef.cq +share/emacs/site-lisp/cqual/avltree.el +share/emacs/site-lisp/cqual/cqual-pam.el +share/emacs/site-lisp/cqual/elib-node.el +share/emacs/site-lisp/cqual/pam-3.el +share/emacs/site-lisp/cqual/pam-blob.el +share/emacs/site-lisp/cqual/pam-copyright.el +share/emacs/site-lisp/cqual/pam-executions.el +share/emacs/site-lisp/cqual/pam-faces.el +share/emacs/site-lisp/cqual/pam-hyper.el +share/emacs/site-lisp/cqual/pam-overlays.el +share/emacs/site-lisp/cqual/pam-util.el +share/emacs/site-lisp/cqual/pam-vars.el +share/emacs/site-lisp/cqual/pam-window.el +share/emacs/site-lisp/cqual/stack-m.el +@dirrm share/emacs/site-lisp/cqual +@dirrm share/emacs/site-lisp +@dirrm share/cqual diff --git a/devel/cqual/distinfo b/devel/cqual/distinfo new file mode 100644 index 00000000000..6d542913392 --- /dev/null +++ b/devel/cqual/distinfo @@ -0,0 +1,6 @@ +$NetBSD: distinfo,v 1.1.1.1 2006/01/11 03:12:38 rillig Exp $ + +SHA1 (cqual-0.991.tar.gz) = f559af6947465ca242f19c1f499c7cb004e713e4 +RMD160 (cqual-0.991.tar.gz) = e3837a11c75f750196ec4be7f991ec519c1260f6 +Size (cqual-0.991.tar.gz) = 1197696 bytes +SHA1 (patch-aa) = bf21f9d9213beb54847a79fdf1213c7378ac062d diff --git a/devel/cqual/patches/patch-aa b/devel/cqual/patches/patch-aa new file mode 100644 index 00000000000..10fa6cad11a --- /dev/null +++ b/devel/cqual/patches/patch-aa @@ -0,0 +1,24 @@ +$NetBSD: patch-aa,v 1.1.1.1 2006/01/11 03:12:38 rillig Exp $ + +Removed C++-style comments. + +--- src/qtype.c.orig 2003-10-06 23:28:57.000000000 +0200 ++++ src/qtype.c 2006-01-11 03:26:12.000000000 +0100 +@@ -1156,7 +1156,7 @@ qtype get_fdecl_qtype(const char *tag_na + type lifted_t; + struct ctq_info ctqi; + const char *fname; +- char *name = NULL;// = field_decl_name(fdecl); ++ char *name = NULL; + qtype result; + + fname = field_decl_name(fdecl) ? field_decl_name(fdecl) : "(anonymous)"; +@@ -3352,8 +3352,6 @@ static bool mkXeq_qtype(location loc, qu + new_link = t1; + } + +- //new_ecr->u.tag.defined |= new_link->u.tag.defined; +- //new_ecr->u.tag.transparent_union |= new_link->u.tag.transparent_union; + ecr_fields = new_ecr->u.tag.fields; + ecr_name = new_ecr->u.tag.name; + kind = (t1->kind == tk_struct) ? "struct" : "union"; |