diff options
author | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-19 12:29:09 +0000 |
---|---|---|
committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-19 12:29:09 +0000 |
commit | 3f4cadb34000a931fc59dc21047444a1c044d76a (patch) | |
tree | e5d5ea3e1ce18478348ec82366e451517daf38c5 /config | |
parent | a7a14e9163f2732899ac392997324fb96ed9790b (diff) |
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
Diffstat (limited to 'config')
-rw-r--r-- | config/Makefile.template | 3 |
1 files changed, 2 insertions, 1 deletions
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= |