./devel/cqual, Tool for adding type qualifiers to C

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2013Q1, Version: 0.991nb10, Package name: cqual-0.991nb10, Maintainer: pkgsrc-users

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.


Required to run:
[lang/perl5] [editors/emacs24]

Required to build:
[devel/bison] [devel/gmake]

Master sites:

SHA1: f559af6947465ca242f19c1f499c7cb004e713e4
RMD160: e3837a11c75f750196ec4be7f991ec519c1260f6
Filesize: 1169.625 KB

Version history: (Expand)


CVS history: (Expand)


   2013-04-01 23:21:25 by Steven Drake | Files touched by this commit (1)
Log message:
Pullup ticket #4108 - requested by dholland
critical bulk build fix

Revisions pulled up:
- devel/cqual/Makefile                                          1.23

---
   Module Name:	pkgsrc
   Committed By:	dholland
   Date:		Mon Apr  1 15:26:26 UTC 2013

   Modified Files:
   	pkgsrc/devel/cqual: Makefile

   Log message:
   Not MAKE_JOBS_SAFE.