aboutsummaryrefslogtreecommitdiffstats
path: root/devel/frama-c
Commit message (Expand)AuthorAgeFilesLines
* Assign submitter as maintainer by requestjunovitch2016-05-281-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.mat2016-04-011-3/+3
* devel/frama-c: Unbreak after checking rerolled distfilemarino2015-11-132-5/+4
* Mark a few ports BROKEN: unfetchableantoine2015-11-091-0/+2
* - Strip binariesamdmi32015-06-081-1/+8
* - Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which addmadpilot2015-05-041-0/+1
* devel/frama-c: upgrade version 20140301 => 20150201 (Unbreak)marino2015-03-234-605/+306
* Mark BROKEN: Fails to build with ocamlgraph 1.8.6antoine2015-01-311-0/+2
* Cleanup plistbapt2014-10-271-21/+0
* Update the default version of GCC in the Ports Collection from GCC 4.7.4gerald2014-09-111-1/+1
* Use MAKE_CMDbapt2014-06-251-2/+2
* devel/frama-c: Re-stage to correct -print-libpathmarino2014-06-031-2/+5
* devel/frama-c: Update version Oxygen => Neon to unbreak and stagemarino2014-05-085-303/+547
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* update to the Oxygen releasebf2013-03-073-100/+132
* update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustbf2013-03-061-8/+15
* temporarily fix the build by reverting to the use of the bundledbf2012-06-272-8/+6
* - Mark BROKEN: does not buildpav2012-06-271-0/+2
* - update png to 1.5.10dinoex2012-06-011-0/+2
* update to Nitrogen-20111001bf2011-12-213-144/+219
* fix the plist after the recent ocamlgraph update by permittingbf2011-10-211-16/+19
* Add frama-c , extensible platform for source-code analysis of C.bf2011-09-184-0/+1033