aboutsummaryrefslogtreecommitdiff
path: root/devel/frama-c
Commit message (Collapse)AuthorAgeFilesLines
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | devel part 2) Notes: svn path=/head/; revision=327723
* update to the Oxygen releaseBrendan Fabeny2013-03-073-100/+132
| | | | Notes: svn path=/head/; revision=313561
* update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustBrendan Fabeny2013-03-051-8/+15
| | | | | | | | | | dependent ports PR: 144982, 149958 Reviewed by: johans (earlier version of the patch) Notes: svn path=/head/; revision=313476
* temporarily fix the build by reverting to the use of the bundledBrendan Fabeny2012-06-272-8/+6
| | | | | | | ocamlgraph 1.8, rather than math/ocaml-ocamlgraph Notes: svn path=/head/; revision=300070
* - Mark BROKEN: does not buildPav Lucistnik2012-06-261-0/+2
| | | | | | | | | | The field `compare' is required but not provided gmake: *** [src/misc/service_graph.cmo] Error 2 Reported by: pointyhat Notes: svn path=/head/; revision=300045
* - update png to 1.5.10Dirk Meyer2012-06-011-0/+2
| | | | Notes: svn path=/head/; revision=297915
* update to Nitrogen-20111001Brendan Fabeny2011-12-213-144/+219
| | | | Notes: svn path=/head/; revision=287774
* fix the plist after the recent ocamlgraph update by permittingBrendan Fabeny2011-10-211-16/+19
| | | | | | | | | | the use of external ocamlgraph-1.8 [1]; indent the post-patch target for clarity Reported by: pav, johans [1] Notes: svn path=/head/; revision=284056
* Add frama-c , extensible platform for source-code analysis of C.Brendan Fabeny2011-09-184-0/+1033
Notes: svn path=/head/; revision=281948