Make boot flag into a normal option (no global flag).

1 files changed, 2 insertions, 1 deletions

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 4e80caa4cc..5f8cc99ed1 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -530,7 +530,8 @@ let coqdep () =
     add_rec_dir_import (fun _ -> add_caml_known) "theories" ["Coq"];
     add_rec_dir_import (fun _ -> add_caml_known) "plugins" ["Coq"];
   end else begin
-    Envars.set_coqlib ~fail:(fun msg -> raise (CoqlibError msg));
+    (* option_boot is actually always false in this branch *)
+    Envars.set_coqlib ~boot:!option_boot ~fail:(fun msg -> raise (CoqlibError msg));
     let coqlib = Envars.coqlib () in
     add_rec_dir_import add_coqlib_known (coqlib//"theories") ["Coq"];
     add_rec_dir_import add_coqlib_known (coqlib//"plugins") ["Coq"];