From 0bf85fbc04b448ede279842aec30659c9377969d Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Mon, 9 Jan 2017 16:43:07 +0100 Subject: Compile with debug information by default. Addition of debug info can be prevented using -nodebug at configure time. --- configure.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'configure.ml') diff --git a/configure.ml b/configure.ml index f75bbb538..9c22c5237 100644 --- a/configure.ml +++ b/configure.ml @@ -261,7 +261,7 @@ module Prefs = struct let withdoc = ref false let geoproof = ref false let byteonly = ref false - let debug = ref false + let debug = ref true let profile = ref false let annotate = ref false let nativecompiler = ref (not (os_type_win32 || os_type_cygwin)) @@ -337,6 +337,8 @@ let args_options = Arg.align [ " Compiles only bytecode version of Coq"; "-debug", Arg.Set Prefs.debug, " Add debugging information in the Coq executables"; + "-nodebug", Arg.Clear Prefs.debug, + " Do not add debugging information in the Coq executables"; "-profile", Arg.Set Prefs.profile, " Add profiling information in the Coq executables"; "-annotate", Arg.Set Prefs.annotate, -- cgit v1.2.3 From 858a559331b70e23a3a011e30e5a80a7d4bd7135 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Mon, 20 Feb 2017 16:50:42 +0100 Subject: Deprecate -debug flag. --- configure.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure.ml') diff --git a/configure.ml b/configure.ml index 9c22c5237..6d96e614d 100644 --- a/configure.ml +++ b/configure.ml @@ -336,7 +336,7 @@ let args_options = Arg.align [ "-byteonly", Arg.Set Prefs.byteonly, " Compiles only bytecode version of Coq"; "-debug", Arg.Set Prefs.debug, - " Add debugging information in the Coq executables"; + " Deprecated"; "-nodebug", Arg.Clear Prefs.debug, " Do not add debugging information in the Coq executables"; "-profile", Arg.Set Prefs.profile, -- cgit v1.2.3