diff options
| author | msozeau | 2008-05-19 12:29:09 +0000 |
|---|---|---|
| committer | msozeau | 2008-05-19 12:29:09 +0000 |
| commit | 3f4cadb34000a931fc59dc21047444a1c044d76a (patch) | |
| tree | e5d5ea3e1ce18478348ec82366e451517daf38c5 /configure | |
| 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 'configure')
| -rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -87,6 +87,7 @@ camlp4oexec=camlp4o coq_debug_flag= +coq_debug_flag_opt= coq_profile_flag= coq_annotate_flag= best_compiler=opt @@ -412,6 +413,11 @@ case $CAMLVERSION in cflags="$cflags -DOCAML_307";; esac +if [ "$CAMLTAG" = "OCAML310" ] && [ "$coq_debug_flag" = "-g" ]; then + # Compilation debug flag + coq_debug_flag_opt="-g" +fi + # Camlp4 / Camlp5 configuration if [ "$camlp5dir" != "" ]; then @@ -882,6 +888,7 @@ sed -e "s|LOCALINSTALLATION|$local|" \ -e "s|CAMLP4TOOL|$camlp4oexec|" \ -e "s|CAMLP4COMPATFLAGS|$CAMLP4COMPAT|" \ -e "s|LABLGTKINCLUDES|$ESCLABLGTKINCLUDES|" \ + -e "s|COQDEBUGFLAGOPT|$coq_debug_flag_opt|" \ -e "s|COQDEBUGFLAG|$coq_debug_flag|" \ -e "s|COQPROFILEFLAG|$coq_profile_flag|" \ -e "s|CAMLANNOTATEFLAG|$coq_annotate_flag|" \ |