aboutsummaryrefslogtreecommitdiff
path: root/devel/frama-c
Commit message (Expand)AuthorAgeFilesLines
* Cleanup plistBaptiste Daroussin2014-10-271-21/+0
* Update the default version of GCC in the Ports Collection from GCC 4.7.4Gerald Pfeifer2014-09-101-1/+1
* Use MAKE_CMDBaptiste Daroussin2014-06-241-2/+2
* devel/frama-c: Re-stage to correct -print-libpathJohn Marino2014-06-031-2/+5
* devel/frama-c: Update version Oxygen => Neon to unbreak and stageJohn Marino2014-05-075-303/+547
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* update to the Oxygen releaseBrendan Fabeny2013-03-073-100/+132
* update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustBrendan Fabeny2013-03-051-8/+15
* temporarily fix the build by reverting to the use of the bundledBrendan Fabeny2012-06-272-8/+6
* - Mark BROKEN: does not buildPav Lucistnik2012-06-261-0/+2
* - update png to 1.5.10Dirk Meyer2012-06-011-0/+2
* update to Nitrogen-20111001Brendan Fabeny2011-12-213-144/+219
* fix the plist after the recent ocamlgraph update by permittingBrendan Fabeny2011-10-211-16/+19
* Add frama-c , extensible platform for source-code analysis of C.Brendan Fabeny2011-09-184-0/+1033