summaryrefslogtreecommitdiff
path: root/devel/frama-c
AgeCommit message (Expand)AuthorFilesLines
2012-03-06Recursive PKGREVISION bump for xulrunner, nss, and nspr.ryoon1-2/+2
2012-03-03Recursive bump for pcre-8.30* (shlib major change)wiz1-2/+2
2012-02-06Revbump forwiz1-2/+2
2012-01-24Recursive dependency bump for databases/gdbm ABI_DEPENDS change.sbd1-2/+2
2012-01-13Recursive bump from audio/libaudiofile, x11/qt4-libs and x11/qt4-tools ABI bump.obache1-1/+2
2011-12-25Update to Frama-C Nitrogen release 2011-10-01asau7-1480/+808
2011-12-24Revert addition of devel/nspr; problem is now solved properlydholland1-2/+1
2011-12-23This needs libnspr4.asau1-1/+2
2011-12-23Home page and master site moved to http://frama-c.com/asau1-3/+3
2011-12-06Recursive bump for lang/ocaml buildlink addition.sbd1-2/+2
2011-11-01Recursive bump for graphics/freetype2 buildlink addition.sbd1-2/+2
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
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