From 556c7936c3032232c4f825afc2d120f98b5235ef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Claude=20March=C3=A9?= <Claude.Marche@inria.fr>
Date: Tue, 6 Oct 2015 14:33:31 +0200
Subject: [PATCH] Licensing info both in README and in LICENCE
---
AUTHORS | 1 -
LICENSE | 4 ++++
README | 4 ++++
3 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/AUTHORS b/AUTHORS
index 04ca244e7..3509b4762 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -22,4 +22,3 @@ with contributions of
Asma Tafat
Piotr Trojanek
Makarius Wenzel
-
diff --git a/LICENSE b/LICENSE
index aeb8df4a8..a8fac2457 100644
--- a/LICENSE
+++ b/LICENSE
@@ -14,6 +14,10 @@ of the Library that is distributed under the conditions defined in clause
however invalidate any other reasons why the executable file might be
covered by the GNU Lesser General Public License.
+The files src/util/extmap.ml{i} are derived from the sources of
+OCaml 3.12 standard library, and are distributed under the GNU
+LGPL version 2 (see file OCAML-LICENSE).
+
Icon sets for the graphical interface of Why3 are subject to specific
licenses, some of them may forbid commercial usage. These specific
licenses are detailed in files share/icons/*/*.txt
diff --git a/README b/README
index 7b1dcab82..1e2433690 100644
--- a/README
+++ b/README
@@ -42,6 +42,10 @@ The files src/util/extmap.ml{i} are derived from the sources of
OCaml 3.12 standard library, and are distributed under the GNU
LGPL version 2 (see file OCAML-LICENSE).
+Icon sets for the graphical interface of Why3 are subject to specific
+licenses, some of them may forbid commercial usage. These specific
+licenses are detailed in files share/icons/*/*.txt
+
INSTALLATION
============
--
GitLab