From 4c4715bf3224f6750e8d63005ff0c554015db45e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 4 Dec 2020 11:27:15 +0100
Subject: [coq_makefile] use Envars for COQMF_WINDRIVE

---
 tools/coq_makefile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 0cbfd46e80..07550b67e3 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -216,7 +216,7 @@ let generate_conf_coq_config oc =
   section oc "Coq configuration.";
   let src_dirs = Coq_config.all_src_dirs in
   Envars.print_config ~prefix_var_name:"COQMF_" oc src_dirs;
-  fprintf oc "COQMF_WINDRIVE=%s\n" (windrive Coq_config.coqlib)
+  fprintf oc "COQMF_WINDRIVE=%s\n" (windrive (Envars.coqlib()))
 ;;
 
 let generate_conf_files oc
-- 
cgit v1.2.3