[frama-c] new file: frama-c-1.5.licensing new file: frama-c-gui.desktop

[Mark Rader]

commit 830c7f15f03877bcaac23fe8d3314d3e351c0f18
Author: Mark Rader <msrader at gmail.com>
Date:   Tue Jan 18 16:18:27 2011 -0600

    	new file:   frama-c-1.5.licensing
    	new file:   frama-c-gui.desktop

 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;
+