[frama-c/f14/master] new file: frama-c-1.5.licensing new file: frama-c-gui.desktop modified: frama-c Boron dele

[Mark Rader]

commit fbfc0a584e59d118c2f1d75b70cdc5d324bcca6a
Author: Mark Rader <msrader at gmail.com>
Date:   Sun Aug 15 14:59:48 2010 -0500

    	new file:   frama-c-1.5.licensing
    	new file:   frama-c-gui.desktop
    	modified:   frama-c Boron
    	deleted:    frama-c-1.4-fix-ocamlgraph-detection.patch
    	deleted:    frama-c-1.4-licensing
    	deleted:    frama-c-1.4-ptests-fix-for-ocaml-3.11.2.patch
    	deleted:    frama-c-Fix-weak-pattern-matching-in-dynlink_lower_311_byte.patch
    	deleted:    frama-c.desktop
    	modified:   frama-c.spec

 .gitignore            |    1 +
 frama-c-1.5.licensing |   26 ++++++++++++++++++++++++++
 frama-c-gui.desktop   |    9 +++++++++
 sources               |    2 +-
 4 files changed, 37 insertions(+), 1 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index d4a1b14..958fc93 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 frama-c-Beryllium-20090902.tar.gz
+frama-c-Boron-20100401.tar.gz
diff --git a/frama-c-1.5.licensing b/frama-c-1.5.licensing
new file mode 100644
index 0000000..a13ed12
--- /dev/null
+++ b/frama-c-1.5.licensing
@@ -0,0 +1,26 @@
+Breakdown of files by license:
+
+Most files are LGPL v2.1, so only the non LGPL v2.1 files will be listed:
+
+BSD:
+cil/* except cil/src/logic/* which is LGPL v2.1
+tests/minix/*
+external/unmarshal*
+
+GPL v2:
+tests/spec/purse.c
+
+GPL v2+:
+tests/idtc/*
+
+GPL (no version):
+tests/bugs/evoting.c
+
+QPL with modifications (see licenses/Q_MODIFIED_LICENSE):
+external/ptmap.ml*
+-------------------------------------------------------------------------
+Determination made as follows:
+grep -L -r -i LGPLv2.1 * | grep -E -v '^tests|^cil'
+
+will find the non LGPLv2.1 items that are not in tests/ or cil/. These
+directories were examined more carefully separately.
\ No newline at end of file
diff --git a/frama-c-gui.desktop b/frama-c-gui.desktop
new file mode 100644
index 0000000..01ba116
--- /dev/null
+++ b/frama-c-gui.desktop
@@ -0,0 +1,9 @@
+[Desktop Entry]
+Name=Frama-C
+GenericName=Frama C
+Exec=frama-c-gui
+Icon=gnome-gmush
+Terminal=false
+Type=Application
+Categories=Development;
+
diff --git a/sources b/sources
index c6a8bfe..5cbf1d9 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-a713f362cf62af434b23f79186e4d8e7  frama-c-Beryllium-20090902.tar.gz
+4350b26e277f7be176423be2b3420506  frama-c-Boron-20100401.tar.gz