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

1 files changed, 6 insertions, 8 deletions

diff --git a/LICENSE b/LICENSE
index 36268209..373ee656 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.
 
 ----------------------------------------------------------------------