Switching to the new C parser/elaborator/simplifier

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 14 insertions, 9 deletions

diff --git a/LICENSE b/LICENSE
index 373ee65..f9bae5b 100644
--- a/LICENSE
+++ b/LICENSE
@@ -25,9 +25,12 @@ option) any later version:
     cfrontend/PrintCsyntax.ml lib/Integers.v       
     cfrontend/Csem.v          lib/Maps.v           
     cfrontend/Csyntax.v       lib/Parmov.v         
-    common/AST.v              runtime/calloc.c     
-    common/Errors.v           runtime/stdio.c      
-    common/Events.v           runtime/stdio.h      
+    common/AST.v              lib/Camlcoq.ml
+    common/Errors.v           
+    common/Events.v           
+    all files in the runtime/ directory
+    all files in the cparser/ directory 
+        (except those listed below which are under a BSD license)
 
 A copy of the GNU General Public License version 2 is included below.
 
@@ -37,12 +40,14 @@ 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 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.
+Finally, the following files are taken from the CIL library:
+    cparser/Cabs.ml
+    cparser/Lexer.mli
+    cparser/Lexer.mll
+    cparser/Parser.mly
+These files are Copyright 2001-2005 George C. Necula, Scott McPeak,
+Wes Weimer and Ben Liblit, and are distributed under the terms of the
+BSD license, included below.
 
 ----------------------------------------------------------------------