From 877b4347139b187bb2e5151526ae17307d246a12 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 27 Jan 2008 11:19:58 +0000
Subject: Ajout license, README, copyright notices

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@489 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 configure | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index 2f4edf3..7214a31 100755
--- a/configure
+++ b/configure
@@ -1,5 +1,17 @@
 #!/bin/sh
 
+#######################################################################
+#                                                                     #
+#              The Compcert verified compiler                         #
+#                                                                     #
+#          Xavier Leroy, INRIA Paris-Rocquencourt                     #
+#                                                                     #
+#  Copyright Institut National de Recherche en Informatique et en     #
+#  Automatique.  All rights reserved.  This file is distributed       #
+#  under the terms of the INRIA Non-Commercial License Agreement.     #
+#                                                                     #
+#######################################################################
+
 cildistrib=cil-1.3.5.tar.gz
 prefix=/usr/local
 bindir='$(PREFIX)/bin'
-- 
cgit v1.2.3