From 1888e677c92d2edc2dda6eb7c27bea0a9906cc24 Mon Sep 17 00:00:00 2001 From: xleroy Date: Mon, 17 Jun 2013 12:52:50 +0000 Subject: Updating LICENSE and license headers, continued. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2281 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- LICENSE | 2 ++ Makefile | 3 +++ 2 files changed, 5 insertions(+) diff --git a/LICENSE b/LICENSE index 1f8776d..3b41c10 100644 --- a/LICENSE +++ b/LICENSE @@ -49,6 +49,8 @@ option) any later version: all files in the exportclight/ directory + Makefile + A copy of the GNU General Public License version 2 is included below. The choice between the two licenses for the files listed above is left to the user. If you opt for the GNU General Public License, these diff --git a/Makefile b/Makefile index 70f6013..76938b4 100644 --- a/Makefile +++ b/Makefile @@ -6,6 +6,9 @@ # # # Copyright Institut National de Recherche en Informatique et en # # Automatique. All rights reserved. This file is distributed # +# under the terms of the GNU General Public License as published by # +# the Free Software Foundation, either version 2 of the License, or # +# (at your option) any later version. This file is also distributed # # under the terms of the INRIA Non-Commercial License Agreement. # # # ####################################################################### -- cgit v1.2.3