summaryrefslogtreecommitdiff
path: root/devel/frama-c
AgeCommit message (Expand)AuthorFilesLines
2010-06-15Fix build with latest ocaml. From Pascal Cuoq <pascal_cuoq@hotmail.com>wiz2-1/+20
2010-06-13Bump PKGREVISION for libpng shlib name change.wiz1-2/+2
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
2009-12-07Add a gnomecanvas option to fix build when lablgtk was compiled withoutwiz4-12/+27
2009-09-11import the frama-c source code analysis tooltonio5-0/+1631