Frama-C is a suite of tools dedicated to the analysis of the source code of
software written in C.
Frama-C gathers several static analysis techniques in a single collaborative
framework, which allows static analyzers to build upon the results already
computed by other analyzers in the framework, and provides sophisticated
tools, such as a slicer and dependency analysis.
Frama-C is closer to heuristic bug-finding tools than it is to software metrics
tools, but it has two important differences with the former: it aims at being
"correct" -- that is, never to remain silent for a location in the source
code where an error can happen at run-time. And it allows its user to
manipulate functional specifications, and to prove that the source code
satisfies these specifications.
WWW: http://frama-c.com/index.html

devel/frama-c: Unbreak after checking rerolled distfile
Upstream re-rolled Frama-C keeping a February 2015 date stamp
in the filename (!). I compared the new distfile with the old one.
Only two files were modified (opam, Makefile) and all the rest were
additional files (new /external directory, new /bin directory with
shell scripts). It looks innocent to me.
Regenerate distfile and set DIST_SUBDIR now that frama-c devs have a
reputation for rerolls.

devel/frama-c: upgrade version 20140301 => 20150201 (Unbreak)
The big change is the removal of options.
With Sodium, the gui, plugins, coq and why3 are all enabled by default.
The pain to disable these options isn't worth the hassle of maintaining
the plist with all its possible variations.
Notes:
- The distfile can only be extracted by gtar.
- Reset maintainership
- This ports is extremely sensitive to Ocamlgraph changes. Ocamlgraph
should not be updated without checking breakage on frama-c first
- used @dir instead of .keepme
- Made some tabbing changes

devel/frama-c: Re-stage to correct -print-libpath
The approach to staging had a bug. frama-c -print-libpath returned
a path to /wrkdirs (the standard work directory in poudriere). Improve
staging so frama-c knows where its installed.

devel/frama-c: Update version Oxygen => Neon to unbreak and stage
Oxygen is from Sept 2012, and Neon is from Mar 2014. Stage support was
added along with some minor cleanup. A major patch from Debian was
required to support OcamlGraph 1.8.5.
It has been broken since Ocaml was updated to 4.01.
Work covered by Staging blanket.