Commit graph

5 commits

Author SHA1 Message Date
wiz
30b6dcf7f6 Fix build on -current. Fix PLIST.
Bump PKGREVISION.
2006-03-02 19:56:24 +00:00
rillig
ad20db380a Added some patches to make Cqual build on IRIX 6.5/mips with MIPSpro. (By
the way, all these patches have already been reported upstream and are
mostly fixed.)
2006-01-19 04:21:39 +00:00
rillig
7da5ddc215 Added the patches that are required to build CQual on SunOS 5.8/sparc
with SunPro.
2006-01-18 23:24:12 +00:00
rillig
7128f4ae6f Added two patches. patch-ab avoids tons of #line warnings from the cpp
output, patch-ac fixes the special handling of functions called
malloc().

Bumped PKGREVISION.
2006-01-13 07:51:42 +00:00
rillig
f6ae07692d 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.
2006-01-11 03:12:38 +00:00