Skip to Content.
Sympa Menu

sm-commit - [SM-Commit] GIT changes to master grimoire by Florian Franzmann (0d06d99a791ed9dd69a368afc98252da24b3a465)

sm-commit AT lists.ibiblio.org

Subject: Source Mage code commit list

List archive

Chronological Thread  
  • From: Florian Franzmann <scm AT sourcemage.org>
  • To: sm-commit AT lists.ibiblio.org
  • Subject: [SM-Commit] GIT changes to master grimoire by Florian Franzmann (0d06d99a791ed9dd69a368afc98252da24b3a465)
  • Date: Thu, 9 Feb 2012 06:46:49 -0600

GIT changes to master grimoire by Florian Franzmann
<siflfran AT hawo.stw.uni-erlangen.de>:

ChangeLog | 3 +++
devel/frama-c/DEPENDS | 13 +++++++++++++
devel/frama-c/DETAILS | 20 ++++++++++++++++++++
devel/frama-c/HISTORY | 3 +++
4 files changed, 39 insertions(+)

New commits:
commit 0d06d99a791ed9dd69a368afc98252da24b3a465
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

devel/frama-c: new spell, a C source code analysis tool

diff --git a/ChangeLog b/ChangeLog
index 208fdb2..0efb8bb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+2012-02-09 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * devel/frama-c: new spell, a C source code analysis tool
+
2012-02-07 Ladislav Hagara <hgr AT 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 0000000..f79ca40
--- /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 0000000..a1317e5
--- /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 0000000..d5b6303
--- /dev/null
+++ b/devel/frama-c/HISTORY
@@ -0,0 +1,3 @@
+2012-02-09 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+ * DEPENDS, DETAILS: spell created
+



  • [SM-Commit] GIT changes to master grimoire by Florian Franzmann (0d06d99a791ed9dd69a368afc98252da24b3a465), Florian Franzmann, 02/09/2012

Archive powered by MHonArc 2.6.24.

Top of Page