From 5d3c0a0326af68e85f1f1cfc6bfa2214b0052de8 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 10 Mar 2020 01:06:34 -0400
Subject: [flags] [profile] Remove bit-rotten CProfile code.

As of today Coq has the `CProfile` infrastructure disabled by default,
untested, and not easily accessible.

It was decided that `CProfile` should remain not user-accessible, and
only available thus by manual editing of Coq code to switch the flag
and manually instrument functions.

We thus remove all bitrotten dead code.
---
 lib/cProfile.ml | 6 ++++--
 lib/flags.ml    | 2 --
 lib/flags.mli   | 2 --
 3 files changed, 4 insertions(+), 6 deletions(-)

(limited to 'lib')

diff --git a/lib/cProfile.ml b/lib/cProfile.ml
index b68d35d2d4..7245b35d59 100644
--- a/lib/cProfile.ml
+++ b/lib/cProfile.ml
@@ -8,6 +8,8 @@
 (*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
 
+let enable_profile = false
+
 let word_length = Sys.word_size / 8
 
 let float_of_time t = float_of_int t /. 100.
@@ -87,9 +89,9 @@ let init_alloc = ref 0.0
 let reset_profile () = List.iter reset_record !prof_table
 
 let init_profile () =
-  (* We test Flags.profile as a way to support declaring profiled
+  (* We test enable_profile as a way to support declaring profiled
      functions in plugins *)
-  if !prof_table <> [] || Flags.profile then begin
+  if !prof_table <> [] || enable_profile then begin
   let outside = create_record () in
   stack := [outside];
   last_alloc := get_alloc ();
diff --git a/lib/flags.ml b/lib/flags.ml
index 57e879add7..c87a375356 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -51,8 +51,6 @@ let xml_debug = ref false
 let in_debugger = ref false
 let in_toplevel = ref false
 
-let profile = false
-
 let raw_print = ref false
 
 let we_are_parsing = ref false
diff --git a/lib/flags.mli b/lib/flags.mli
index e10e2c8cb8..2f59a0cc18 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -44,8 +44,6 @@ val xml_debug : bool ref
 val in_debugger : bool ref
 val in_toplevel : bool ref
 
-val profile : bool
-
 (* development flag to detect race conditions, it should go away. *)
 val we_are_parsing : bool ref
 
-- 
cgit v1.2.3