should eliminate the TOCTOU race between config and build stages
that can result in neither the internal or the port versions being
available.
Found while preparing for Ocaml 4.3.0.
ok sthen@
phessler@ and me. ok sthen@ blambert@
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. The collaborative approach of Frama-C allows static analyzers to
build upon the results already computed by other analyzers in the framework.
Thanks to this approach, Frama-C provides sophisticated tools, such as a
slicer and dependency analysis.
