diff options
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|" \ |