summaryrefslogtreecommitdiff
path: root/devel/frama-c
AgeCommit message (Collapse)AuthorFilesLines
2011-04-22recursive bump from gettext-lib shlib bump.obache1-2/+2
2011-01-13png shlib name changed for png>=1.5.0, so bump PKGREVISIONs.wiz1-2/+2
2010-11-15PKGREVISION bumps for changes to gtk2, librsvg, libbonobo and libgnomeabs1-2/+2
2010-09-14Bump dependency on pixman to 0.18.4 because cairo-1.10 needs thatwiz1-2/+2
version, and bump all depends. Per discussion on pkgsrc-changes.
2010-06-15Fix build with latest ocaml. From Pascal Cuoq <pascal_cuoq@hotmail.com>wiz2-1/+20
on pkgsrc-users.
2010-06-13Bump PKGREVISION for libpng shlib name change.wiz1-2/+2
Also add some patches to remove use of deprecated symbols and fix other problems when looking for or compiling against libpng-1.4.x.
2010-01-18Second try at jpeg-8 recursive PKGREVISION bump.wiz1-2/+2
2010-01-17Recursive PKGREVISION bump for jpeg update to 8.wiz1-1/+2
2009-12-21gnomecanvas option needs gnomecanvas. Make sure PLIST_SRC is builtjoerg2-2/+6
correctly. XXX This should be a build option of lablgtk or so
2009-12-07Add a gnomecanvas option to fix build when lablgtk was compiled withoutwiz4-12/+27
gnomecanvas support. Actually, it depends completely on lablgtk's gnomecanvas option -- but I didn't manage to check for that. The way I know only works for inclusion in buildlink3.mk files.
2009-09-11import the frama-c source code analysis tooltonio5-0/+1631
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.