Path to this page:
./
devel/cqual,
Tool for adding type qualifiers to C
Branch: pkgsrc-2013Q1,
Version: 0.991nb10,
Package name: cqual-0.991nb10,
Maintainer: pkgsrc-userscqual 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)
- (2013-04-01) Package added to pkgsrc.se, version cqual-0.991nb10 (created)
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.
|