From 09af271bcf545d2eff57dfb90c2749caf644b5c2 Mon Sep 17 00:00:00 2001
From: Mark Rader <msrader@gmail.com>
Date: Aug 15 2010 20:10:58 +0000
Subject: 	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

---

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