Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
version, and bump all depends.
Per discussion on pkgsrc-changes.
|
|
on pkgsrc-users.
|
|
Also add some patches to remove use of deprecated symbols and fix other
problems when looking for or compiling against libpng-1.4.x.
|
|
|
|
|
|
correctly.
XXX This should be a build option of lablgtk or so
|
|
gnomecanvas support.
Actually, it depends completely on lablgtk's gnomecanvas option --
but I didn't manage to check for that. The way I know only works
for inclusion in buildlink3.mk files.
|
|
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.
|