[frama-c/f13/master] new file: frama-c-1.5.licensing new file: frama-c-gui.desktop deleted: frama-c-1.4-fix-oca

[Mark Rader]

commit 09af271bcf545d2eff57dfb90c2749caf644b5c2
Author: Mark Rader <msrader at gmail.com>
Date:   Sun Aug 15 15:10:58 2010 -0500

    	new file:   frama-c-1.5.licensing
    	new file:   frama-c-gui.desktop
    	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
    	modified:   sources

 frama-c-1.5.licensing |   26 ++++++++++++++++++++++++++
 frama-c-gui.desktop   |    9 +++++++++
 2 files changed, 35 insertions(+), 0 deletions(-)
---
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;
+