From 3f4cadb34000a931fc59dc21047444a1c044d76a Mon Sep 17 00:00:00 2001
From: msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 19 May 2008 12:29:09 +0000
Subject: Fix caml debug flags configuration, -g works with the native compiler
 only since 3.10. Fix a bug in classes when the instance database is empty.

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

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index f35af2b58..e5061ebe8 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -72,8 +72,9 @@ CAMLMKTOP="CAMLMKTOPEXEC"
 # Caml flags
 CAMLFLAGS=-rectypes CAMLANNOTATEFLAG
 
-# Compilation debug flag
+# Compilation debug flags
 CAMLDEBUG=COQDEBUGFLAG
+CAMLDEBUGOPT=COQDEBUGFLAGOPT
 
 # User compilation flag
 USERFLAGS=
-- 
cgit v1.2.3