1 files changed, 12 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 2a795e4..afadd77 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,15 @@
+#######################################################################
+#                                                                     #
+#              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.     #
+#                                                                     #
+#######################################################################
+
 include Makefile.config
 
 COQC=coqc $(INCLUDES)