From 282f8a07a2ff201e1b2bee563bd8c6d9d670d261 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 28 Jun 2016 18:51:06 +0200
Subject: LICENSE: update the list of files that are dual-licensed under the
 GPL

---
 LICENSE | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'LICENSE')

diff --git a/LICENSE b/LICENSE
index 7ad5a89c..75718e5b 100644
--- a/LICENSE
+++ b/LICENSE
@@ -12,7 +12,7 @@ The latter is a separate contract document.
 The INRIA Non-Commercial License Agreement is a non-free license that 
 grants you the right to use the CompCert verified compiler for 
 educational, research or evaluation purposes only, but prohibits 
-any commercial uses.
+any commercial use.
 
 For commercial use you need a Software Usage Agreement from 
 AbsInt Angewandte Informatik GmbH.
@@ -29,11 +29,14 @@ option) any later version:
   common/Errors.v
   common/Events.v
   common/Globalenvs.v
+  common/Linking.v
   common/Memdata.v
   common/Memory.v
   common/Memtype.v
   common/Smallstep.v
+  common/Subtyping.v
   common/Switch.v
+  common/Unityping.v
   common/Values.v
 
   cfrontend/Clight.v
@@ -43,7 +46,8 @@ option) any later version:
   cfrontend/Cstrategy.v
   cfrontend/Csyntax.v
   cfrontend/Ctypes.v
-
+  cfrontend/Ctyping.v
+  
   backend/Cminor.v
   backend/CMlexer.mli
   backend/CMlexer.mll
@@ -51,6 +55,10 @@ option) any later version:
   backend/CMtypecheck.ml
   backend/CMtypecheck.mli
 
+  arm/Archi.v
+  ia32/Archi.v
+  powerpc/Archi.v
+
   all files in the cparser/ directory
 
   all files in the exportclight/ directory
-- 
cgit