From a5f03d96eee482cd84861fc8cefff9eb451c0cad Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 29 Mar 2009 09:47:11 +0000 Subject: Cleaned up configure script. Distribution of CIL as an expanded source tree with changes applied (instead of original .tar.gz + patches to be applied at config time). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1020 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- LICENSE | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) (limited to 'LICENSE') diff --git a/LICENSE b/LICENSE index 3626820..373ee65 100644 --- a/LICENSE +++ b/LICENSE @@ -37,14 +37,12 @@ files are free software and can be used both in commercial and non-commercial contexts, subject to the terms of the GNU General Public License. -This distribution includes a copy of the CIL library and modifications -to this library in the form of patches. The CIL library is Copyright -2001-2005 George C. Necula, Scott McPeak, Wes Weimer and Ben Liblit. -The modifications contained in the sub-directory cil.patches/ of this -distribution are Copyright 2006, 2007, 2008, 2009 Institut National de -Recherche en Informatique et en Automatique. The CIL library and the -modifications contained in the sub-directory cil.patches/ are -distributed under the terms of the BSD license, included below. +This distribution includes a modified copy of the CIL library. +The CIL library is Copyright 2001-2005 George C. Necula, Scott McPeak, +Wes Weimer and Ben Liblit. The modifications are Copyright 2006, +2007, 2008, 2009 Institut National de Recherche en Informatique et en +Automatique. The CIL library and the modifications are distributed +under the terms of the BSD license, included below. ---------------------------------------------------------------------- -- cgit v1.2.3