From 3b316ab662a9877001cc4a497d13969d43f7ba4a Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 24 Aug 2007 10:57:37 +0000
Subject: Report 10087, 10089, 10090 de 8.1 vers trunk (compatibilité camlp5 et
 -rectypes)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10091 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/Makefile.template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index d4fa11783..6161089ae 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -65,7 +65,7 @@ CAMLOPTLINK="NATIVECAMLC"
 CAMLMKTOP="CAMLMKTOPEXEC"
 
 # Caml flags
-CAMLFLAGS=CAMLANNOTATEFLAG
+CAMLFLAGS=-rectypes CAMLANNOTATEFLAG
 
 # Compilation debug flag
 CAMLDEBUG=COQDEBUGFLAG
-- 
cgit v1.2.3