[coqlib] Remove `-boot` option for setting the coqlib

Instead, if the coqlib is special, we set it explicitly in the command
line, as Dune does.

This is a continuation of #9523.

In Sphinx, we stop using -boot, and pass `-coqlib` through the
environment instead.

Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>

2 files changed, 3 insertions, 3 deletions

diff --git a/lib/envars.ml b/lib/envars.ml
index 8a75d9a552..0f4670688b 100644
--- a/lib/envars.ml
+++ b/lib/envars.ml
@@ -110,11 +110,11 @@ let set_user_coqlib path = coqlib := Some path
 
 (** coqlib is now computed once during coqtop initialization *)
 
-let set_coqlib ~boot ~fail =
+let set_coqlib ~fail =
   match !coqlib with
   | Some _ -> ()
   | None ->
-    let lib = if boot then coqroot else guess_coqlib fail in
+    let lib = guess_coqlib fail in
     coqlib := Some lib
 
 let coqlib () = Option.default "" !coqlib
diff --git a/lib/envars.mli b/lib/envars.mli
index 21365c48f6..ebf86d0650 100644
--- a/lib/envars.mli
+++ b/lib/envars.mli
@@ -39,7 +39,7 @@ val datadir : unit -> string
 val configdir : unit -> string
 
 (** [set_coqlib] must be runned once before any access to [coqlib] *)
-val set_coqlib : boot:bool -> fail:(string -> string) -> unit
+val set_coqlib : fail:(string -> string) -> unit
 
 (** [set_user_coqlib path] sets the coqlib directory explicitedly. *)
 val set_user_coqlib : string -> unit