diff options
author | Florian Franzmann | 2012-02-09 13:46:19 +0100 |
---|---|---|
committer | Florian Franzmann | 2012-02-09 13:46:19 +0100 |
commit | 0d06d99a791ed9dd69a368afc98252da24b3a465 (patch) | |
tree | a112c06321ce6c291f78f22a79454f8e22d4d35e | |
parent | 79314ba1a7309d53ed42ae4f7010e09086edec7e (diff) |
devel/frama-c: new spell, a C source code analysis tool
-rw-r--r-- | ChangeLog | 3 | ||||
-rwxr-xr-x | devel/frama-c/DEPENDS | 13 | ||||
-rwxr-xr-x | devel/frama-c/DETAILS | 20 | ||||
-rw-r--r-- | devel/frama-c/HISTORY | 3 |
4 files changed, 39 insertions, 0 deletions
@@ -1,3 +1,6 @@ +2012-02-09 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * devel/frama-c: new spell, a C source code analysis tool + 2012-02-07 Ladislav Hagara <hgr@vabo.cz> * science-libs/python-visual: new spell, 3D graphics module for Python diff --git a/devel/frama-c/DEPENDS b/devel/frama-c/DEPENDS new file mode 100755 index 0000000000..f79ca40c87 --- /dev/null +++ b/devel/frama-c/DEPENDS @@ -0,0 +1,13 @@ +depends libart_lgpl && +depends atk && +depends cairo && +depends fontconfig && +depends freetype2 && +depends glib2 && +depends gtk+2 && +depends libgnomecanvas && +depends pango && +depends graphviz && +depends ocaml && +depends gtksourceview && +depends lablgtk2 diff --git a/devel/frama-c/DETAILS b/devel/frama-c/DETAILS new file mode 100755 index 0000000000..a1317e5c4a --- /dev/null +++ b/devel/frama-c/DETAILS @@ -0,0 +1,20 @@ + SPELL=frama-c + VERSION=20111001 + SOURCE="${SPELL}-Nitrogen-${VERSION}.tar.gz" + SOURCE_URL[0]=http://${SPELL}.com/download/${SOURCE} + SOURCE_HASH=sha512:316eba07a5eff47c4fa22d116dc6a1c7adb5a617cd4719a01cf844d6dd5e9d4b2509fcd66c2ceba7d11c94f136cb7c57abd8df25415e1236361a794773580ace +SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-Nitrogen-${VERSION}" + WEB_SITE="http://frama-c.com/index.html" + LICENSE[0]=GPL + ENTERED=20120209 + SHORT="an extensible and collaborative platform dedicated to source-code analysis of C software" +cat << EOF +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. +EOF diff --git a/devel/frama-c/HISTORY b/devel/frama-c/HISTORY new file mode 100644 index 0000000000..d5b63036eb --- /dev/null +++ b/devel/frama-c/HISTORY @@ -0,0 +1,3 @@ +2012-02-09 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DEPENDS, DETAILS: spell created + |