Module Boot.Util

val getenv_opt : string -> string option
val getenv_rocq : string -> string option

getenv_rocq name returns the value of "ROCQ$name" if it exists, otherwise the value of "COQ$name" if it exists and warns that it is deprecated, otherwise None.

val getenv_rocq_gen : rocq:string -> coq:string -> string option

getenv_rocq_gen ~rocq ~coq returns the value of rocq if it exists, otherwise the value of coq if it exists and warns that it is deprecated, otherwise None.

val set_warn_deprecated_coq_var : (rocq:string -> coq:string -> unit) -> unit
val check_file_else : dir:string -> file:string -> (unit -> string) -> string